Dependencies for uAgda-1.2.0.1
Executables
uAgda
- array (>=0.3 && <0.4)
- base (>=4 && <5)
- BNFC-meta (>=0.3 && <0.4)
- cmdargs (>=0.6 && <0.7)
- containers (>=0.4 && <0.5)
- mtl (>=2.0 && <2.1)
- parsec (>=2.1 && <2.2)
- pretty (>=1.0 && <1.1)
- split (>=0.1 && <0.2)
- transformers (>=0.2 && <0.3)