jfdm / idris-containersLinks
Various data structures for use in the Idris Language.
☆95Updated 5 years ago
Alternatives and similar repositories for idris-containers
Users that are interested in idris-containers are comparing it to the libraries listed below
Sorting:
- Category theory for Haskell with a lens flavor (you need GHC 7.8.3, not 7.8.2 to build this!)☆162Updated 4 years ago
- Recursion schemes for Idris☆64Updated 6 years ago
- The Disco Discus Compiler☆174Updated 6 years ago
- Combinators for manipulating locally-nameless generalized de Bruijn terms☆123Updated 10 months ago
- Generic Programming using True Sums of Products☆163Updated 5 months ago
- TParsec - Total Parser Combinators in Idris☆95Updated last year
- Monad Transformers and Classes