equational-reasoning
Proof assistant for Haskell using DataKinds & PolyKinds
Version on this page: | 0.6.0.1 |
LTS Haskell 22.22: | 0.7.0.2 |
Stackage Nightly 2024-05-14: | 0.7.0.2 |
Latest on Hackage: | 0.7.0.2 |
Maintained by konn.jinro_at_gmail.com
This version can be pinned in stack with:
equational-reasoning-0.6.0.1@sha256:8a1422fb4a79f19d3e95e73f721aa764968e12768b5e2d2e2940e2db71d2e452,1737
Module documentation for 0.6.0.1
Depends on 6 packages(full list with versions):
Used by 4 packages in nightly-2020-03-08(full list with versions):