@hackage / tinycheck

A lightweight enumeration-based property testing library