equational-reasoning: Proof assistant for Haskell using DataKinds & PolyKinds
Downloads
- equational-reasoning-0.0.3.0.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
- No Candidates
Versions [RSS] | 0.0.1.0, 0.0.3.0, 0.0.4.0, 0.0.4.1, 0.1.0.0, 0.2.0.0, 0.2.0.1, 0.2.0.2, 0.2.0.3, 0.2.0.4, 0.2.0.5, 0.2.0.6, 0.2.0.7, 0.3.0.0, 0.4.0.0, 0.4.1.0, 0.4.1.1, 0.5.0.0, 0.5.1.0, 0.5.1.1, 0.6.0.0, 0.6.0.1, 0.6.0.2, 0.6.0.3, 0.6.0.4, 0.7.0.0, 0.7.0.1, 0.7.0.2 (info) |
---|---|
Dependencies | base (>=4.6 && <4.7), singletons (>=0.8 && <0.9), tagged (>=0.6 && <0.7), template-haskell (>=2.8 && <2.9), void (>=0.6 && <0.7) [details] |
License | BSD-3-Clause |
Author | Hiromi ISHII |
Maintainer | konn.jinro_at_gmail.com |
Category | Math |
Uploaded | by HiromiIshii at 2014-02-23T12:32:27Z |
Distributions | LTSHaskell:0.7.0.2, NixOS:0.7.0.2, Stackage:0.7.0.2 |
Reverse Dependencies | 9 direct, 14 indirect [details] |
Downloads | 18986 total (94 in the last 30 days) |
Rating | (no votes yet) [estimated by Bayesian average] |
Your Rating | |
Status | Docs not available [build log] Successful builds reported [all 7 reports] |