Tiger-Types.r

%INCLUDE{"http://www.stratego-language.org/tiger-front/tas/Tiger-Types.r"}%

-- EelcoVisser - 04 Dec 2001

Revision: r1.1 - 04 Dec 2001 - 13:55 - EelcoVisser
Tiger > TigerTypeCheck? > TigerTypes
Copyright © 1999-2020 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback