lib:logict
Modules
Dependencies
- base lib:base >=4.9 && <5
- exceptions lib:exceptions <0.11
- mtl lib:mtl >=2.0 && <2.4
- transformers lib:transformers <0.7
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