Changes between Version 73 and Version 74 of TypeFunctions


Ignore:
Timestamp:
May 7, 2007 1:24:34 PM (7 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctions

    v73 v74  
    4040 
    4141== Specification and Restrictions == 
     42 
     43The user-level definition of the type-family extensions is given here [http://haskell.org/haskellwiki/GHC/Indexed_types]. Section 4, "Definition of the type system extension" constitues the specification. 
    4244 
    4345Refinement 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].