The Fun programming language, extended with built-in utilities for property based testing.
Primary LanguageHaskellOtherNOASSERTION