Changes between Version 2 and Version 3 of Language/Core/Witnesses


Ignore:
Timestamp:
Dec 30, 2011, 5:56:17 AM (8 years ago)
Author:
benl
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Language/Core/Witnesses

    v2 v3  
    55   ::= VAR
    66    |  WCON
    7     |  WIT WARGS
     7    |  WIT WARG+
    88    |  WIT & WIT
    99    |  ( WIT )
    1010
    11 WARGS    ::= ARGTYPES | ARGWITS
     11WARG      ::= ARGWIT | { TYPE } | {: ARGTTYPE+ :}
    1212
    13 ARGTYPES ::= { TYPE }  | {: ARGTYPE+ :}
    14 ARGWITS  ::= < WIT  >  | <: ARGWIT+  :>
    15 
    16 ARGTYPE  ::= VAR | CON | !0 | $0 | ( TYPE )
    17 ARGWIT   ::= VAR | CON | ( WITNESS )
     13ARGWIT    ::= VAR | CON | ( WITNESS )
     14ARGTYPE   ::= VAR | CON | !0 | $0 | ( TYPE )
    1815}}}
    1916