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.9 (Unix) DAV/2 mod_ssl/2.2.9 OpenSSL/0.9.8h mod_python/3.3.1 Python/2.5.2 PHP/5.2.6 SVN/1.5.2 Server at www.stratego-language.org Port 80