Fun and Games with Fix, Cofree, and Doobie
-
Updated
Nov 13, 2016 - HTML
Fun and Games with Fix, Cofree, and Doobie
🔮 An experiment with the simply typed lambda calculus, recursion schemes, Cofree, and extensible effects
Recursion Scheme in Haskell - Catamorpism/Anamorphism/Paramorphism/Apomorphism
Repository for experimenting with various types of recursion schemes.
A small repository for playing around with recursion-schemes.
Papers We Love. Mad. Talk on fold: slides, Coq file, and links for further reading
Recursion schemes for Idris
Kotlin recursion schemes with Arrow
Common recursion schemes implemented in php.
Experiments with deep embedding a point-free language with polynomial functors
Bring fusion to everyone
Generalized recursion schemes and traversals for Scala.
Functional programming great resources
A recursion schemes micro-library
Add a description, image, and links to the recursion-schemes topic page so that developers can more easily learn about it.
To associate your repository with the recursion-schemes topic, visit your repo's landing page and select "manage topics."