/idris2-hedgehog

An Idris port of the Haskell Hedghog library

Primary LanguageIdrisBSD 2-Clause "Simplified" LicenseBSD-2-Clause

Stargazers