Changes between Version 9 and Version 10 of Language/Core/Expressions


Ignore:
Timestamp:
Jan 3, 2012, 6:11:52 AM (8 years ago)
Author:
benl
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Language/Core/Expressions

    v9 v10  
    8383 || {{{letregion BINDER in EXP}}} || = || {{{letregion BINDER with { } in EXP }}} ||
    8484
    85 Note A: In the type and witness application sugar, the types and witnesses uses in the lists must have the following syntax. This ensures there is no ambiguity between successive arguments.
     85Note A: In the type and witness application sugar, the types and witnesses in the lists must have the following syntax. This ensures there is no ambiguity between successive arguments.
    8686
    8787{{{