mdl compiler written in Haskell

root

= Haskell mdl compiler

mdl is a C-like programming language specialized for writing Global Script implementations.

Some features in mdl but not in C:

* Garbage collection
* Green threads
* Variable-sized objects
* Sequences of variable-sized objects, such as programming-language stacks

The GC and green threading in mdl integrate with the ones in Global Script,
and the plan is to replace Global Script's GC and threading with mdl's.