Changes between Version 8 and Version 9 of TypeFunctionsCore
- Timestamp:
- Aug 24, 2006 10:26:40 PM (13 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
TypeFunctionsCore
v8 v9 1 1 = 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. 2 4 3 5 == Desugaring indexed data types ==