Changes between Version 35 and Version 36 of TypeFunctions


Ignore:
Timestamp:
Aug 2, 2006 6:41:16 PM (9 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctions

    v35 v36  
    1717== Specification and Restrictions ==
    1818
    19 Refinement of the specification in the ''Beyond Associated Types'' paper.  (I'll actually link this paper here once it is a bit more coherent.)
     19Refinement of the specification in the ''Beyond Associated Types'' paper.  (I'll actually link this paper here once it is a bit more coherent.)  Some [wiki:TypeFunctionsExamples examples are on an extra page].
    2020 * Kind signatures of indexed data types have the form
    2121 {{{