The latest version of agda-server is 0.1.1-0.
agda-server
Version 0.1 revision 0 uploaded by PeterDivianszky.
Package meta
- Synopsis
- Http server for Agda (prototype)
- Description
agda-server
serves agda files as XML files.Usage: Run
agda-server
(see --help for command line options). Then open a browser withlocalhost:8001//X.xml
(or similar).Supported features: Type checking (whole module), links between modules (but not between library modules), basic support for holes.
- Author
- Péter Diviánszky
- Bug reports
- n/a
- Category
- Dependent types
- Copyright
- n/a
- Homepage
- n/a
- Maintainer
- divipp@gmail.com
- Package URL
- n/a
- Stability
- experimental