- I wrote a small library for using recursion schemes in Idris. https://github.com/vmchale/recursion_schemes 2 comments idris
Linking pages
Linked pages
- recursion-schemes: Representing common recursion patterns as higher-order functions https://hackage.haskell.org/package/recursion-schemes 31 comments
- GitHub - vmchale/composition: Composition extras for Idris https://github.com/vmchale/composition 3 comments
- GitHub - pheymann/specdris: A test framework for Idris https://github.com/pheymann/specdris 0 comments
Related searches:
Search whole site: site:github.com
Search title: GitHub - vmchale/recursion_schemes: Recursion schemes for Idris
See how to search.