Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | github markdown: code blocks | Adriaan Moors | 2014-03-10 | 1 | -70/+70 |
| | |||||
* | github markdown: drop css classes | Adriaan Moors | 2014-03-10 | 1 | -49/+49 |
| | |||||
* | github markdown: headers | Adriaan Moors | 2014-03-10 | 1 | -16/+8 |
| | |||||
* | github markdown: numbered lists | Adriaan Moors | 2014-03-10 | 1 | -16/+16 |
| | |||||
* | Over-wide line fix for types grammar | Iain McGinniss | 2013-02-21 | 1 | -3/+4 |
| | | | | | | The ExistentialClause definition was slightly too large to fit within the text width of the PDF, so a manual line break has been added. | ||||
* | Miscellaneous cleanups: | Simon Ochsenreither | 2013-02-21 | 1 | -2/+2 |
| | | | | | | | | - 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 | ||||
* | use \sigma instead of raw unicode character in math mode, as it | Iain McGinniss | 2013-02-19 | 1 | -1/+1 |
| | | | | does not render in the PDF otherwise. | ||||
* | types chapter fully converted. Added link to jquery and some experimental | Iain McGinniss | 2012-10-26 | 1 | -406/+399 |
| | | | | | code for a fixed pop-out version of the table of contents, which is currently disabled. | ||||
* | interim commit of conversion of types chapter | Iain McGinniss | 2012-10-22 | 1 | -531/+530 |
| | |||||
* | preface and lexical syntax chapter converted, other chapters | Iain McGinniss | 2012-10-17 | 1 | -0/+1014 |
split into their own files |