summaryrefslogtreecommitdiff
path: root/05-types.md
Commit message (Collapse)AuthorAgeFilesLines
* That was fun: fix internal links.Adriaan Moors2014-03-131-15/+15
| | | | | | | After some dirty grepping, regexing and perling, I present to you: internal links! I wish there was a way to make this more robust, these will only work on the html version, and assume we don't change filenames...
* fix some linksAdriaan Moors2014-03-131-1/+1
|
* wip: jekyllifyAdriaan Moors2014-03-131-0/+5
|
* formatting: tables and headingsAdriaan Moors2014-03-121-6/+5
|
* SI-7313 method types of implicit and non-implicit parameter sections are ↵Adriaan Moors2014-03-121-8/+9
| | | | never equivalent
* github markdown: tablesAdriaan Moors2014-03-111-1/+2
|
* github markdown: use ###### for definitions and notesAdriaan Moors2014-03-111-18/+18
|
* github markdown: use ###### for examplesAdriaan Moors2014-03-111-152/+172
|
* 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