/rulecheck

Automated test case generation for Haskell rewrite rules

Primary LanguageHaskell

No issues in this repository yet.