search

ztellman / automat

better automata through combinators
588 stars 50 forks source link

Upgrade simple-check to test.check #4

Closed danielcompton closed 10 years ago

danielcompton commented 10 years ago

Just upgrading to test.check. Tests still pass.