Changes between Version 2 and Version 3 of Records/TypeIndexedRecords


Ignore:
Timestamp:
Mar 3, 2012 4:31:04 PM (2 years 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