exe:dedukti
Dependencies
- Stream lib:Stream >=0.3 && <0.3.2
- base lib:base >=4 && <5
- bytestring lib:bytestring >=0.9.1.0
- containers lib:containers >=0.2
- directory lib:directory >=0
- filepath lib:filepath >=0
- haskell-src-exts lib:haskell-src-exts >=1.1.0
- haskell-src-exts-qq lib:haskell-src-exts-qq >=0.4
- hmk lib:hmk >=0.9.7
- mtl lib:mtl >=1.1
- parsec lib:parsec >=3.1.0
- process lib:process >=0
- stringtable-atom lib:stringtable-atom >=0.0.6
- wl-pprint lib:wl-pprint >=1.0
Reverse dependencies
None.