Haskell Programming From First Principles - Follow-up Resources
:snake: py2sec is a Cross-Platform, Fast and Flexible tool to change the .py to .so(Linux and Mac...
📖 source material for Thinking with Types
Home of the Xapi-project docs site
Lenses, Folds, and Traversals - Join us on freenode #haskell-lens
This book will be an undergraduate textbook written in the univalent style, taking advantage of t...
A collaborative bibliography of work related to the theory and practice of computational effects
The Xapi Project's XenAPI Server
This course is designed to teach students Haskell from zero to everything needed to work with Mar...