Tom Harding

A little course to learn about some of the more obscure GHC extensions.

i-am-tom

Higher-kinded data via generics

i-am-tom

A reference library for constraint-solving with propagators and CDCL.

i-am-tom

Trying to get back all the stuff I had in JavaScript.

i-am-tom

Examples and exercises from the blog series

i-am-tom

A monadic interface for DAG construction.

i-am-tom

Idris-written, correct-by-construction, simply-typed lambda calculus.

i-am-tom

Classy error-handling (and dispatching!) in Haskell.

i-am-tom

What would TEA look like if we had no VDOM?

i-am-tom

An introduction to common PureScript operators through the only truly universal language.

i-am-tom