Changes between Version 13 and Version 14 of ExplicitCallStack
- Timestamp:
- 01/29/07 08:13:37 (6 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
ExplicitCallStack
v13 v14 85 85 86 86 {{{ 87 Decls --> x :: T | x = E | data f a1 .. an = K1 .. Km 87 Decls(D) --> x :: T | x = E | data f a1 .. an = K1 .. Km 88 89 Constructors(K) --> k T1 .. Tn 90 91 Types(T) --> f | a | T1 T2 88 92 }}} 89 93
