- "Free" (co)recursion schemes using indexed functors and DataKinds https://github.com/pbl64k/gpif-datakinds 3 comments haskell
Linking pages
Linked pages
- GitHub - pbl64k/gpif-idris: Translation of Agda code in A. Löh and J. P. Magalhães *Generic Programming with Indexed Functors* to Idris. https://github.com/pbl64k/gpif-idris 0 comments
- GitHub - recursion-schemes/recursion-schemes: Generalized bananas, lenses and barbed wire https://github.com/ekmett/recursion-schemes/ 0 comments
Would you like to stay up to date with Haskell? Checkout Haskell
Weekly.
Related searches:
Search whole site: site:github.com
Search title: GitHub - pbl64k/gpif-datakinds: Generic Programming with Indexed Functors using DataKinds -- (co)recursion schemes for "free"!
See how to search.