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


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

--

Legend:

Unmodified
Added
Removed
Modified
  • Language/Core/Witnesses

    v7 v8  
    3737The following witness expressions are equivalent:
    3838 || {{{(WIT)}}} || = || {{{WIT}}} ||
     39 || {{{WIT1 WIT2 WIT3}}} || = || {{{(WIT1 WIT2) WIT3}}} ||
    3940 || {{{WIT [ATYPE1] [ATYPE2] ... [ATYPEN]}}} || = || {{{WIT [:ATYPE1 ATYPE2 ATYPE3:] }}} ||
    40  || {{{WIT1 WIT2 WIT3}}} || = || {{{(WIT1 WIT2) WIT3}}} ||
    4141 || {{{WIT1 & WIT2}}} || = || {{{WIT2 & WIT1}}} ||
    4242 || {{{(WIT1 & WIT2) & WIT3}}} || = || {{{WIT1 & (WIT2 & WIT3)}}} ||