@hackage agda-server0.1

Http server for Agda (prototype)

Categories
License
BSD-3-Clause
Maintainer
divipp@gmail.com
Links
- Documentation
- No source repository
- Security
Versions
- 0.1.1 Thu, 3 Oct 2013
- 0.1.0.1 Thu, 3 Oct 2013
- 0.1 Thu, 3 Oct 2013

Deprecated
This package has been deprecated
Dependencies (0)
Dependents (1)
@hackage/acme-everything

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.