@hackage / agda-server

Http server for Agda (prototype)

Deprecated package0.1.1

Metadata

Last updated 3 Oct 2013, by PeterDivianszky
License BSD-3-Clause
Maintained by: divipp@gmail.com
Lottery factor: 0

Links

Documentation
No source repository

Installation

This package has been deprecated

Readme

agda-server serves agda files as XML files.

Usage: Run agda-server (see --help for command line options). Then open a browser with localhost:8001/X.xml (or similar).

Supported features: Type checking (whole module), links between modules (but not between library modules), basic support for holes.