Changes between Version 7 and Version 8 of Language/Core/Types


Ignore:
Timestamp:
Jan 2, 2012, 1:00:55 PM (8 years ago)
Author:
benl
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Language/Core/Types

    v7 v8  
    2525=== Syntactic Sugar ===
    2626The following type expressions are equivalent:
    27  || {{{[BINDER1 BINDER2 : TYPE1] . TYPE2}}}    || = || {{{[BINDER1 : TYPE1] . [BIND2 : TYPE1] . TYPE2}}} ||
     27 || {{{[BINDER1 BINDER2 : TYPE1] . TYPE2}}}    || = || {{{[BINDER1 : TYPE1] . [BINDER2 : TYPE1] . TYPE2}}} ||
    2828 || {{{[BINDER1 : TYPE1]. TYPE2 TYPE3}}} || = || {{{[BINDER1 : TYPE1]. (TYPE2 TYPE3)}}} ||
    2929 || {{{(TYPE)}}} || = || {{{TYPE}}} ||