benjamin.pizza

Type-Level Dependency Injection

Prettier. Happier. More Imperative.

Incremental T4 Text Templating

Parallelising Source Positions

Some Notes on Variables and Binding

Building Prolog's Rules Engine

Generic Unification with Sawmill

Parsing Prolog with Pidgin

Write You a Prolog

Rewriting IRewritable

Announcing Pidgin v2.0

The Fourth Type of Variance

Zooming In on Field Accessors

Live-streaming

Eighty

Zip-Folding

Functor Functors

Recursion Without Recursion