Changes between Version 11 and Version 12 of PatternSynonyms


Ignore:
Timestamp:
Aug 22, 2013 12:40:43 AM (19 months ago)
Author:
cactus
Comment:

Fix some typos

Legend:

Unmodified
Added
Removed
Modified
  • PatternSynonyms

    v11 v12  
    3838{{{ 
    3939   arrows :: [Type] -> Type -> Type 
    40    arrows = foldr Arrow 
     40   arrows = flip $ foldr Arrow 
    4141}}} 
    4242 
     
    7474{{{ 
    7575   pattern ThirdElem x = _:_:x:_ 
    76    pattern LazySecond a b ~ (a, ~b) 
     76   pattern LazySecond a b = (a, ~b) 
    7777 
    7878   third (ThirdElem a) = a