Changes between Version 1 and Version 2 of ExtendedLayouts


Ignore:
Timestamp:
Jan 4, 2012 10:46:46 AM (3 years ago)
Author:
nsch
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • ExtendedLayouts

    v1 v2  
    88Types:      t a 
    99}}} 
     10 
     11Note that `{ ; }` is '''either''' exactly what it is '''or''' the whitespace notation where those tokens are filled in automatically by the lexer. It's why you would only have to explain `do { .. ; .. }` to give a complete understanding of how the `do`-notation works. 
    1012 
    1113== The Monoid Layout ==