Changes between Version 35 and Version 36 of TypeFunctions


Ignore:
Timestamp:
Aug 2, 2006 6:41:16 PM (8 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 {{{