bluefin

Lecturas_GLC

Readings on computational logic, interactive theorem proving and functional programming.

haskell-study-plan

An opinionated list of resources for learning Haskell

free-alacarte

Free monads based on intuitions from the Data types à la Carte paper. Combine functors and make e...

awesome-haskell

A collection of awesome Haskell links, frameworks, libraries and software. Inspired by awesome pr...

eff

🚧 a work in progress effect system for Haskell 🚧

koka

Koka language compiler and interpreter

polysemy

higher-order, no-boilerplate monads

languages-all-the-way-down

outline & examples for my ZuriHac 2020 talk, Languages All the Way Down

articles

Miscellaneous articles. The readme is the table of contents.

freer-simple

A friendly effect system for Haskell

haskell-ecosystem

software-design-in-haskell

Software Design in Haskell. A structured set of materials. How to build real-world applications i...

effects

An implementation of "Freer Monads, More Extensible Effects".

free-est

fused-effects

A fast, flexible, fused effect system for Haskell