LambAda
Concise Specification
Verbose Specification
Documentation
Bootstrapper
Github
Bootstrapper
Dancing around the singularity
Bootstrapping / Prelude Compilation