summaryrefslogtreecommitdiff
path: root/05-types.md
Commit message (Collapse)AuthorAgeFilesLines
* Catch up with latex spec.Adriaan Moors2014-03-101-0/+34
|
* github markdown: code blocksAdriaan Moors2014-03-101-70/+70
|
* github markdown: drop css classesAdriaan Moors2014-03-101-49/+49
|
* github markdown: headersAdriaan Moors2014-03-101-16/+8
|
* github markdown: numbered listsAdriaan Moors2014-03-101-16/+16
|
* Over-wide line fix for types grammarIain McGinniss2013-02-211-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 Ochsenreither2013-02-211-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 itIain McGinniss2013-02-191-1/+1
| | | | does not render in the PDF otherwise.
* types chapter fully converted. Added link to jquery and some experimentalIain McGinniss2012-10-261-406/+399
| | | | | code for a fixed pop-out version of the table of contents, which is currently disabled.
* interim commit of conversion of types chapterIain McGinniss2012-10-221-531/+530
|
* preface and lexical syntax chapter converted, other chaptersIain McGinniss2012-10-171-0/+1014
split into their own files