exe:agda2train
Dependencies
- Agda lib:Agda >=2.6.3 && <2.6.4
- aeson lib:aeson >=2.0 && <2.3
- aeson-pretty lib:aeson-pretty ==0.8.10
- agda2train lib:agda2train-lib >=0
- async lib:async >=2.2 && <2.3
- base lib:base >=4.12.0.0 && <4.20
- bytestring lib:bytestring >=0.10.8.1 && <0.13
- containers lib:containers >=0.5.11.0 && <0.8
- deepseq lib:deepseq >=1.4.2.0 && <1.6
- directory lib:directory >=1.2.6.2 && <1.4
- file-embed lib:file-embed ==0.0.15.0
- filepath lib:filepath >=1.4.1.0 && <1.5
- mtl lib:mtl >=2.2.1 && <2.4
- pretty lib:pretty >=1.1.3.3 && <1.2
- unordered-containers lib:unordered-containers >=0.2.9.0 && <0.3
Reverse dependencies
None.