equational-reasoning
Proof assistant for Haskell using DataKinds & PolyKinds
Version on this page: | 0.7.0.1@rev:3 |
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.1@sha256:ee25f7fd0c8290f55d170c4edb000df82faa840a7ddb69ef04cc977e68e4391a,1819
Module documentation for 0.7.0.1
Depends on 5 packages(full list with versions):
Used by 4 packages in nightly-2023-12-02(full list with versions):