/lfc-haskell

🔮 An experiment with the simply typed lambda calculus, recursion schemes, Cofree, and extensible effects

Primary LanguageHaskellBSD 3-Clause "New" or "Revised" LicenseBSD-3-Clause

Lambda calculus + recursion schemes + Cofree

Build Status Issues Status License Contact

An experiment with lambda calculus, recursion schemes, Cofree and extensible effects.

Author

Romain Ruetschi

License

This code is released under the BSD3 license.