Dependencies for nanoAgda-1.0.0

Executables

base (>=4 && <5)
BNFC-meta (>=0.3 && <0.4)
cmdargs (>=0.8 && <0.9)
containers (>=0.4 && <0.5)
mtl (>=2.0 && <2.1)
parsec (>=2.1 && <2.2)
pretty (>=1.1 && <1.2)
transformers (>=0.2 && <0.3)