Changes between Version 5 and Version 6 of ViewPatterns


Ignore:
Timestamp:
Jan 24, 2007 5:49:25 PM (9 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`.)