Changes between Version 37 and Version 38 of ViewPatterns

Show
Ignore:
Timestamp:
12/05/08 14:05:56 (4 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 ...