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