equational-reasoning
Proof assistant for Haskell using DataKinds & PolyKinds
Version on this page: | 0.7.0.1 |
LTS Haskell 20.16: | 0.7.0.1@rev:3 |
Stackage Nightly 2023-03-28: | 0.7.0.1@rev:3 |
Latest on Hackage: | 0.7.0.1@rev:3 |
Maintained by konn.jinro_at_gmail.com
This version can be pinned in stack with:
equational-reasoning-0.7.0.1@sha256:87a8c9be3432cf2cb45344259bc75a7187627253402df5e821c618ab85c27bcb,1885
Module documentation for 0.7.0.1
Depends on 5 packages(full list with versions):
Used by 4 packages in lts-18.28(full list with versions):