Changes between Version 12 and Version 13 of TypeFunctions/ClassFamilies


Ignore:
Timestamp:
May 29, 2007 11:03:36 AM (8 years ago)
Author:
guest
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctions/ClassFamilies

    v12 v13  
    286286data SizeCtxt -- uninhabited
    287287
    288 class instance Context SizeCtxt e = Size e
     288class instance (Size e) => Context SizeCtxt e
    289289}}}
    290290