📖 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...