exe:nanoAgda

Dependencies

• BNFC-meta lib:BNFC-meta >=0.3 && <0.4
• 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.