The MathLamp Language Specfication

This is a landing page for the spec