A purely functional programming language with first class types

My notes on using Linux

A framework for applied category theory in the Julia language

A Tour of Standard ML (in the style of A Tour of Go)

Software Design in Haskell. A structured set of materials. How to build real-world applications in Haskell.

WIP implementation of a Haskell-like Lisp in Racket

IO using sized types and copatterns

A dependently typed programming language, a successor to Idris

A distributed database-system implementing an entity-attribute-value data-model that is time-aware, accumulative, and atomically consistent