smartcheck
See the README.md.
Latest release 0.2.4 - Updated - 97 stars
epic
Epic is a simple functional language which compiles to reasonably efficient C code, using the Boe...
Latest release 0.9.3.3 - Updated - 54 stars
AlgorithmW
Complete implementation of the classic algorithm W for Hindley-Milner polymorphic type inference ...
Latest release 0.1.1.0 - Updated - 19 stars
gencheck
This framework provides functionality for testing Haskell functions against properties, similar t...
Latest release 0.1.1 - Updated - 18 stars
TransformersStepByStep
In this tutorial, we describe how to use monad transformers in order to incrementally add functio...
Latest release 0.1.1.0 - Updated - 8 stars