Go backward to 2.1 Introduction of types instead of sorts
Go up to 2 Proposals for changes to the syntax
2.2 More general application terms
An additional change to the syntax could be to replace
APPLICATION ::= application FUN-SYMB TERM*
with
APPLICATION ::= application TERM TERM*
This would require an additional alternative CONST in TERM
TERM ::= ... | APPLICATION | CONST | ...
CONST ::= const FUN-SYMB
CoFI
Note: L-2 --Version 1.0-- 10 April 1997.
Comments to ah@it.dtu.dk