Changes between Version 16 and Version 17 of Language/Core


Ignore:
Timestamp:
Dec 28, 2011, 7:23:40 AM (8 years ago)
Author:
benl
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Language/Core

    v16 v17  
    1515                /   \
    1616   0:       Comp    Witness   (5 {r1} ())  (\(x : Unit). x)   {comp}
    17                               (read {r1} <w1>)                  {witness}
     17                              (read {r1} <w1>)                {witness}
    1818}}}
    1919