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 | 3230 total (4 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] |