📖 source material for Thinking with Types
Sample code to accompany the book "Parallel and Concurrent Programming in Haskell"
This book will be an undergraduate textbook written in the univalent style, taking advantage of t...
The Xapi Project's XenAPI Server
A collaborative bibliography of work related to the theory and practice of computational effects
Home of the Xapi-project docs site
Book in preparation: introduction to theoretical computer science
A composable build system for OCaml.
Lenses, Folds, and Traversals - Join us on freenode #haskell-lens