Good for equational reasoning - Haskell 1.2 implementation
Primary LanguageC
No issues in this repository yet.