BinOp and RelOp constructors
Let declarations such that a single Let declares only one variable, collection of functions or types
Tiger-Desugar also defines ensugaring of abstract syntax trees in which Let constructs are flattened and type annotations are stripped.
Moved Permanently
The document has moved here.
Apache/2.2.8 (Unix) DAV/2 mod_ssl/2.2.8 OpenSSL/0.9.8g mod_python/3.3.1 Python/2.4.4 PHP/5.2.6 SVN/1.4.6 Server at www.stratego-language.org Port 80