Specification language for Haskell programs of type 'IO ()'
Primary LanguageHaskellOtherNOASSERTION
No issues in this repository yet.