📖 source material for Thinking with Types
Eff monad for cats - http://atnos-org.github.io/eff
This book will be an undergraduate textbook written in the univalent style, taking advantage of t...
A gem-based responsive simple texture styled Jekyll theme.
Book in preparation: introduction to theoretical computer science
Lenses, Folds, and Traversals - Join us on freenode #haskell-lens
Python Scripts for Hacking .
The solution of entering group of a scala.
Lightweight, modular, and extensible library for functional programming.