📖 source material for Thinking with Types

Eff monad for cats - http://atnos-org.github.io/eff

λ IHP is a modern batteries-included Web Framework, built on top of Haskell and Nix.

A collaborative bibliography of work related to the theory and practice of computational effects

:snake: py2sec is a Cross-Platform, Fast and Flexible tool to change the .py to .so(Linux and Mac...

Persistence interface for Haskell allowing multiple storage methods.

A gem-based responsive simple texture styled Jekyll theme.

The solution of entering group of a scala.

Katas at Codewars

This book will be an undergraduate textbook written in the univalent style, taking advantage of t...