mprover 0.0.0.0
MProver is a proof checker for equational reasoning in a Haskell-like language. This is an extrem...1 version - Latest release: about 14 years ago - 1.05 thousand downloads total - 1 maintainer
monad-resumption 0.1.4.0
This package contains the definitions of Resumption and Reactive Resumption Monads.9 versions - Latest release: over 6 years ago - 9 dependent repositories - 7.07 thousand downloads total - 9 stars on GitHub - 2 maintainers
MonadLab 0.0.2
[Index] Package maintainers For package maintainers and hackage trustees Candidates3 versions - Latest release: about 17 years ago - 3.1 thousand downloads total - 1 maintainer
Details
| Login | AdamProcter |
| Profile | View on hackage.haskell.org |