equational-reasoning
Proof assistant for Haskell using DataKinds & PolyKinds
Version on this page: | 0.7.0.0@rev:2 |
LTS Haskell 22.24: | 0.7.0.3@rev:1 |
Stackage Nightly 2024-06-04: | 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.7.0.0@sha256:f7fe162978543f8c3ccaf338dbdef7d69537c3aa87f062225d9e5d3585698c7e,1952
Module documentation for 0.7.0.0
Depends on 5 packages(full list with versions):
Used by 4 packages in nightly-2021-08-13(full list with versions):