GitHub repository: stefan-hoeck/idris2-hedgehog
Primary language: Idris
Created: 2021-03-04T16:11:57Z
Description: An Idris port of the Haskell Hedghog library