A test framework for Idris
- idris
- idris-ecosystem
- unittest
- testing
Repository Index
47,133 repositories indexed
1–3 of 3 · Most stars
Effectful bindings for SQLite (forked from IdrisWeb)
Free Monads and useful constructions to work with them
47,133 repositories indexed
1–3 of 3 · Most stars
A test framework for Idris
Effectful bindings for SQLite (forked from IdrisWeb)
Free Monads and useful constructions to work with them