equational-reasoning
Proof assistant for Haskell using DataKinds & PolyKinds
Version on this page: | 0.7.0.2 |
LTS Haskell 23.8: | 0.7.1.0 |
Stackage Nightly 2025-02-10: | 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.0.2@sha256:fe9fed28046d78d080c9f7a6dc8fd83895bbca43a1aabe5cce38888344618878,1225
Module documentation for 0.7.0.2
Depends on 5 packages(full list with versions):
Used by 4 packages in lts-22.6(full list with versions):