Changes between Version 3 and Version 4 of ViewPatternsAlternative


Ignore:
Timestamp:
Aug 12, 2011 1:30:31 PM (3 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • ViewPatternsAlternative

    v3 v4  
    3333{{{ 
    3434   size (x | Unit <- x) = 1 
    35    size (x | Arrow t1 t2 <- ) = size t1 + size t2 
     35   size (x | Arrow t1 t2 <- x) = size t1 + size t2 
    3636}}} 
    3737