📖 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