The compiler and standard distribution for the C∀ programming language - View it on GitHub