Changes between Version 8 and Version 9 of TypeFunctionsCore


Ignore:
Timestamp:
Aug 24, 2006 10:26:40 PM (13 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 ==