1
1
mirror of https://github.com/github/semantic.git synced 2024-12-01 09:15:01 +03:00
Commit Graph

5 Commits

Author SHA1 Message Date
Rob Rix
c64049304e 🐫-case ioresultiers. 2017-01-12 15:51:01 -05:00
Rob Rix
9a0845c72a 📝 the LeanCheck/Hspec integration API. 2017-01-10 16:03:22 -05:00
Rob Rix
8d626d0fea Define a forAll combinator by analogy with QuickCheck. 2017-01-07 23:46:22 -05:00
Rob Rix
a86db572f6 Integrate LeanCheck into Hspec. 2017-01-07 23:16:27 -05:00
Rob Rix
7154708015 Stub in an Hspec/LeanCheck integration module. 2017-01-05 16:41:23 -05:00