agda-server: Http server for Agda (prototype)
Deprecated
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.
Downloads
- agda-server-0.1.1.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
- No Candidates
Versions [RSS] | 0.1, 0.1.0.1, 0.1.1 |
---|---|
Dependencies | Agda (>=2.3.3), base (<5), cmdargs, containers, directory, filepath, HJavaScript, mtl, pandoc (>=1.12), snap-core, snap-server, transformers, utf8-string, xhtml [details] |
License | BSD-3-Clause |
Author | Péter Diviánszky |
Maintainer | divipp@gmail.com |
Category | Dependent types |
Uploaded | by PeterDivianszky at 2013-10-03T13:00:31Z |
Distributions | |
Reverse Dependencies | 1 direct, 0 indirect [details] |
Executables | agda-server |
Downloads | 3157 total (6 in the last 30 days) |
Rating | (no votes yet) [estimated by Bayesian average] |
Your Rating | |
Status | Docs not available [build log] All reported builds failed as of 2016-10-26 [all 9 reports] |