Changes between Version 11 and Version 12 of PatternSynonyms


Ignore:
Timestamp:
Aug 22, 2013 12:40:43 AM (2 years 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