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.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