equational-reasoning
Proof assistant for Haskell using DataKinds & PolyKinds
Version on this page: | 0.6.0.4 |
LTS Haskell 22.22: | 0.7.0.2 |
Stackage Nightly 2024-05-16: | 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.4@sha256:a90cd27f6aa33d238fcac95295ea0bbe573581b3f31c4cc5bb406562184ae9bd,1723
Module documentation for 0.6.0.4
Depends on 5 packages(full list with versions):
Used by 4 packages in lts-17.14(full list with versions):