tim philip williams

Fixing GADTs

Generic recursion schemes for GADTs using fixed points of higher-order functors.

First post

A new blog on applied functional programming.

under construction