/statem-laws

Using quickspec on stateful code

Primary LanguageHaskell

No issues in this repository yet.