Pinned Loading

1. concise-cheat-sheets concise-cheat-sheets Public

   Cheat Sheets for programming languages and tools

   TeX 113 12

2. express express Public

   Dynamically-typed Haskell expressions involving applications and variables.

   Haskell 22 2

3. leancheck leancheck Public

   enumerative property-based testing for Haskell

   Haskell 53 8

4. extrapolate extrapolate Public

   generalize counter-examples of property-based testing

   Haskell 13

5. fitspec fitspec Public

   refine properties for testing Haskell programs

   Haskell 74

6. speculate speculate Public

   Speculate laws about Haskell functions

   Haskell 30