Changes between Version 2 and Version 3 of Records/TypeIndexedRecords

Show
Ignore:
Timestamp:
03/03/12 08:31:04 (15 months ago)
Author:
strake888
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • Records/TypeIndexedRecords

    v2 v3  
     1= Type-Indexed Records = 
    12Proposal for new Haskell record system. Record selection is simple operator. Keys are arbitrary types. Scope is controlled as scope of key types. 
    23