We now present a compiler for MiniLAX.
This section contains the complete Gentle specification for MiniLAX.