equational-reasoning
Proof assistant for Haskell using DataKinds & PolyKinds
LTS Haskell 23.9: | 0.7.1.0 |
Stackage Nightly 2025-02-19: | 0.7.1.0 |
Latest on Hackage: | 0.7.1.0 |
Maintained by konn.jinro_at_gmail.com
This version can be pinned in stack with:
equational-reasoning-0.7.1.0@sha256:10af3f7bdc545188d98179f85dfcd8f76d7de281c746b2eb9f675e48573e2acb,1252
Module documentation for 0.7.1.0
Depends on 5 packages(full list with versions):
Used by 4 packages in nightly-2025-01-21(full list with versions):