Changes between Version 5 and Version 6 of ViewPatterns


Ignore:
Timestamp:
Jan 24, 2007 5:49:25 PM (7 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • ViewPatterns

    v5 v6  
    312312{{{ 
    313313  last xs = case xs of 
    314            (snoc -> x xs) -> x 
     314                (snoc -> x xs) -> x 
    315315}}} 
    316316(Also that "x xs" looks a bit like `x` applied to `xs`.)