lib:agda2train-lib
Modules
Dependencies
- Agda lib:Agda >=2.6.3 && <2.6.4
- aeson lib:aeson >=2.0 && <2.3
- async lib:async >=2.2 && <2.3
- base lib:base >=4.12.0.0 && <4.20
- containers lib:containers >=0.5.11.0 && <0.8
- file-embed lib:file-embed ==0.0.15.0
- mtl lib:mtl >=2.2.1 && <2.4
- pretty lib:pretty >=1.1.3.3 && <1.2
Reverse dependencies
Direct only. Not exhaustive.
- agda2train exe:agda2train