lib:equational-reasoning
Modules
Dependencies
- base lib:base >=4.13 && <5
- containers lib:containers >=0.5 && <0.8
- template-haskell lib:template-haskell >=2.11 && <2.24
- th-desugar lib:th-desugar >=1.13 && <1.19
- void lib:void >=0.6 && <0.8
Reverse dependencies
Direct only. Not exhaustive.
- acme-everything lib:acme-everything
- ghc-typelits-presburger exe:simple-arith
- ghc-typelits-presburger lib:ghc-typelits-presburger
- sized lib:sized
- type-natural lib:type-natural