Changes between Version 37 and Version 38 of ViewPatterns


Ignore:
Timestamp:
Dec 5, 2008 10:05:56 PM (5 years ago)
Author:
FSalad
Comment:

make names consistent

Legend:

Unmodified
Added
Removed
Modified
  • ViewPatterns

    v37 v38  
    1515                | Arrow Typ Typ 
    1616 
    17    view :: Type -> TypeView 
     17   view :: Typ -> TypView 
    1818 
    1919   -- additional operations for constructing Typ's ...