The latest version of agda-server is 0.1.1-0.
exe:agda-server
Dependencies
- Agda lib:Agda >=2.3.3
- HJavaScript lib:HJavaScript >=0
- base lib:base <5
- cmdargs lib:cmdargs >=0
- containers lib:containers >=0
- directory lib:directory >=0
- filepath lib:filepath >=0
- mtl lib:mtl >=0
- pandoc lib:pandoc >=0
- snap-core lib:snap-core >=0
- snap-server lib:snap-server >=0
- transformers lib:transformers >=0
- utf8-string lib:utf8-string >=0
- xhtml lib:xhtml >=0
Reverse dependencies
None.