Download of 2009-2.zip (2009-2.zip ( external link: SF.net): 54,557,629 bytes) will begin shortly. If not so, click link on the left.
*An Exploration of Language Theory - and its Machine Implementation*
*Imagine a low level, optimizing, virtual machine (like llvm) that is an extensible scripting language and that is small enough to be easily verified, where even the runtime is reconfigurable - minimize that.*
*Current focus (to do) : * minimal bootstrap, self-hosting, patterns/sets, logic, tail call, type checking, gui
