The original authors of SmallCheck are Colin Runciman, Matthew Naylor, and Fredrik Lindblad.
Colin Runciman:
Thanks to Galois Connections, my hosts when I first wrote SmallCheck, to users who have mailed me with feedback, to Ralf Hinze who suggested the better method for functional coseries, to Neil Mitchell for automating the derivation of Serial instances, to Matt Naylor for the circuit-design examples and to Gwern Branwen for Cabal packaging.
The following people have contributed to SmallCheck:
- Bas van Dijk (default Generic implementation of Serial instance)