GitHub - romac/lfc-haskell: 🔮 An experiment with the simply typed lambda calculus, recursion schemes, Cofree, and extensible effects

Lambda calculus + recursion schemes + Cofree

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

Romain Ruetschi

This code is released under the BSD3 license.

Name		Name	Last commit message	Last commit date
Latest commit History 24 Commits
src/LFC		src/LFC
.gitignore		.gitignore
.travis.yml		.travis.yml
LICENSE		LICENSE
README.md		README.md
Setup.hs		Setup.hs
lfc.cabal		lfc.cabal
package.yaml		package.yaml
stack.yaml		stack.yaml