equational-reasoning
Proof assistant for Haskell using DataKinds & PolyKinds
Version on this page: | 0.7.0.0 |
LTS Haskell 22.20: | 0.7.0.2 |
Stackage Nightly 2024-05-06: | 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.7.0.0@sha256:b15b8d427326b972c61b91d8faee5554b230ca4f451833e1d48c965dd85015a4,1894
Module documentation for 0.7.0.0
Depends on 5 packages(full list with versions):
Used by 4 packages in nightly-2021-02-28(full list with versions):