TASTCFormat
Tiger in Stratego -- Compilation by Program Transformation
TAS-Format is a component of the TigerCompiler in the TigerFront package.
It checks typed TigerAbstractSyntax trees for well-formedness.
TASTC-Format.cr
The module below defines a RecursivePattern that describes the shape of typed Tiger expressions. See also: TigerTypesMoved 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