equational-reasoning
Proof assistant for Haskell using DataKinds & PolyKinds
LTS Haskell 22.33: | 0.7.0.3@rev:1 |
Stackage Nightly 2024-09-07: | 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.7.0.3@sha256:fe66bd6c1a1083ceebedac5f355b41de4a2472072079f17f244a47de87a903ee,1215
Module documentation for 0.7.0.3
Depends on 5 packages(full list with versions):
Used by 4 packages in nightly-2024-07-23(full list with versions):