The Alpha Compiler
The Alpha Compiler is the DDC 0.1.* series, and is the version described in Type Inference and Optimisation for an Impure World. It is being rewritten from the ground up to use a cleaned up core language. The new core language exists in DDC 0.2 and later. The alpha compiler is still available from ddc-alpha but work on it has ceased. We keep the alpha compiler working so we can use it as a reference, at least until the new compiler is feature-complete relative to the old one.
This page collects the documentation relevant to the alpha compiler but not the new version.