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-21: | 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.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.13(full list with versions):