All Projects → david-christiansen → idris-quickcheck

david-christiansen / idris-quickcheck

Licence: other
A port of QuickCheck to Idris

Programming Languages

Idris
72 projects

idris-quickcheck

A port of QuickCheck to Idris

Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].