CTAL_0 is a strictly typed assembly language that
is intended to be used as a target language into
which C programs are compiled. The project
contains a type-checker for CTAL_0 and an
experimental C compiler that generates CTAL_0
assembly code.
