stefan-hoeck/idris2-hedgehog
An Idris port of the Haskell Hedghog library
GitHub repository with 37 stars and 4 forks.
Language: Idris
Latest metric snapshot
2026-06-15: 37 stars and 4 forks.
An Idris port of the Haskell Hedghog library
GitHub repository with 37 stars and 4 forks.
Language: Idris
2026-06-15: 37 stars and 4 forks.