Changes between Version 8 and Version 9 of TypeFunctionsCore


Ignore:
Timestamp:
Aug 24, 2006 10:26:40 PM (8 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsCore

    v8 v9  
    11= Type Functions: Desugaring = 
     2 
     3'''TODO:''' Move this page (logically) before the type checking page (which now also conatins all the details about desugaring) and turn it into an example page that (using the `Map` example) goes through all the details of the concrete representation. 
    24 
    35== Desugaring indexed data types ==