Idris2 Hedgehog

Name: stefan-hoeck/idris2-hedgehog
Brand: stefan-hoeck/idris2-hedgehog
SKU: project/stefan-hoeck/idris2-hedgehog
Rating: 4.43 (27 reviews)

An Idris port of the Haskell Hedghog library

Categories > Idris

Suggest Alternative

Stars

License

bsd-2-clause

Open Issues

Most Recent Commit

5 months ago

Programming Language

Idris

Repo

Suggest An Alternative To idris2-hedgehog

Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.