Changes between Version 2 and Version 3 of Language/Variables

Show
Ignore:
Timestamp:
06/24/09 10:43:00 (4 years ago)
Author:
benl (IP: 150.203.160.45)
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • Language/Variables

    v2 v3  
    3434||The a in ||forall a. a -> a|| has kind *|| and is in name space * (value types)|| 
    3535||The m in ||forall (m :: * -> *). ... || has kind (* -> *) || and is in name space * (value types)|| 
    36 ||The constructor|| Read|| has kind (% -> !)|| and is in name space ! (effects)|| 
     36||The constructor||!Read|| has kind (% -> !)|| and is in name space ! (effects)|| 
    3737||The variable||%r1||has kind %||and is in name space % (regions)|| 
    3838