The latest version of nanoAgda is 1.0.0-0.
exe:nanoAgda
Dependencies
- BNFC-meta lib:BNFC-meta >=0.2 && <0.3
- base lib:base >=4 && <5
- cmdargs lib:cmdargs >=0.8 && <0.9
- containers lib:containers >=0.4 && <0.5
- mtl lib:mtl >=2.0 && <2.1
- parsec lib:parsec >=2.1 && <2.2
- pretty lib:pretty >=1.1 && <1.2
- transformers lib:transformers >=0.2 && <0.3
Reverse dependencies
None.