Changes between Version 5 and Version 6 of Language/Core/Types


Ignore:
Timestamp:
Jan 2, 2012, 12:59:57 PM (8 years ago)
Author:
benl
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Language/Core/Types

    v5 v6  
    77   |  CON
    88   |  TYPE TYPE
    9    |  [ BINDER+ : TYPE ] . TYPE
     9   |  [ BINDER : TYPE ] . TYPE
    1010
    1111(type sums)