The latest version of logict is 0.8.2.0-0.
lib:logict
Modules
Dependencies
- base lib:base >=4.3 && <5
- fail lib:fail >=0
- mtl lib:mtl >=2.0 && <2.4
- transformers lib:transformers >=0
Reverse dependencies
Direct only. Not exhaustive.
- cflp lib:cflp
- hmt lib:hmt
- lambdabot exe:lambdabot
- peg exe:peg
- pianola lib:pianola
- regex-genex lib:regex-genex
- smallcheck lib:smallcheck
- unification-fd lib:unification-fd