equational-reasoning
Proof assistant for Haskell using DataKinds & PolyKinds
Version on this page: | 0.6.0.3 |
LTS Haskell 22.26: | 0.7.0.3@rev:1 |
Stackage Nightly 2024-06-22: | 0.7.0.3@rev:1 |
Latest on Hackage: | 0.7.0.3@rev:1 |
Maintained by konn.jinro_at_gmail.com
This version can be pinned in stack with:
equational-reasoning-0.6.0.3@sha256:a59f45b15118add889948c3a3b25ed8cc324e01c088616302a5265db9ac451c8,1772
Module documentation for 0.6.0.3
Depends on 6 packages(full list with versions):
Used by 4 packages in nightly-2020-05-31(full list with versions):