plt

Hern is a small language I have been working on to see what kind of type system ideas I can put together in one coherent little world.

Lambda calculus can be used to express any computation, but what does it entail? As it turns out first class functions are the single most powerful abstraction.