HOAS

A simple tagless final style compiler from a simple lambda calculus using Higher Order Abstract Syntax to first a point free/categorical representation and then to a simple call by push value representation using call by name.