equational-reasoning
Proof assistant for Haskell using DataKinds & PolyKinds
Version on this page: | 0.6.0.4 |
LTS Haskell 22.39: | 0.7.0.3@rev:1 |
Stackage Nightly 2024-11-01: | 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.2(full list with versions):