An Idris port of the Haskell Hedghog library
Primary LanguageIdrisBSD 2-Clause "Simplified" LicenseBSD-2-Clause