Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | github markdown: use ###### for examples | Adriaan Moors | 2014-03-11 | 1 | -254/+272 |
| | |||||
* | Catch up with latex spec. | Adriaan Moors | 2014-03-10 | 1 | -8/+82 |
| | |||||
* | github markdown: code blocks | Adriaan Moors | 2014-03-10 | 1 | -92/+92 |
| | |||||
* | github markdown: drop css classes | Adriaan Moors | 2014-03-10 | 1 | -46/+46 |
| | |||||
* | github markdown: headers | Adriaan Moors | 2014-03-10 | 1 | -16/+8 |
| | |||||
* | Miscellaneous cleanups: | Simon Ochsenreither | 2013-02-21 | 1 | -6/+6 |
| | | | | | | | | - Value of Unit is (), not {} - Fix desugared pattern matching code - Mention object-protected values - Use uppercase type variables for Tuple/Function code - Replace Application with App | ||||
* | fixed undefined macros and converted comment block | Iain McGinniss | 2013-02-19 | 1 | -5/+10 |
| | |||||
* | basic declarations and definitions chapter converted, needs | Iain McGinniss | 2012-10-27 | 1 | -697/+614 |
| | | | | second-pass review. | ||||
* | preface and lexical syntax chapter converted, other chapters | Iain McGinniss | 2012-10-17 | 1 | -0/+935 |
split into their own files |