This directory contains the implementations of the various versions of our kernel
language. The source files are numbered in the same way as the sections in the
lecture notes.

After loading one of them, you can run the interpreter by calling the "main"
function. At the moment the editing is rather limited. You can enter several lines.
They will be evaluated once you enter the first empty line. In addition, you
can use the commands ":load" (or ":l") to load a file and ":quit" (or ":q") to
exit the interpreter.