Changes between Version 71 and Version 72 of TypeFunctions


Ignore:
Timestamp:
May 1, 2007 9:19:15 AM (8 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctions

    v71 v72  
    3636 
    3737'''Definitions vs. declarations''': We sometimes call the kind signature of an indexed constructor its ''declaration'' and the subsequent population of the type family by type equations or indexed data/newtype declarations the constructor's ''definition''. 
     38 
     39Note: we previously used the term "indexed type", but have now switched to using "type family".  Please change any  uses of the former into the latter as you come across them. 
    3840 
    3941== Specification and Restrictions ==