summaryrefslogtreecommitdiff
path: root/09-implicit-parameters-and-views.md
Commit message (Collapse)AuthorAgeFilesLines
* Add language to code blocks. Shorter Example title.Adriaan Moors2014-03-261-23/+23
|
* Fix #6: automatic section numbering.Adriaan Moors2014-03-261-2/+3
| | | | | | | | | | | | Add chapter number to YAML, which is replace in numbering.css. Use CSS counters for chapters, sections, subsections | examples. Examples are detected by looking at the H3 element's id, which redcarpet derives from the heading's title. It must start with "Example:", and the whole title is suppressed by a little javascript, so we can make Examples look like in the pdf. For example, `### Example:` becomes `Example 3.2.10`, if it's the 10th example in Section 3.2.
* formattingAdriaan Moors2014-03-261-6/+4
|
* That was fun: fix internal links.Adriaan Moors2014-03-131-10/+10
| | | | | | | 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...
* wip: jekyllifyAdriaan Moors2014-03-131-0/+5
|
* SI-5089 update definition implicit scope in terms of parts of a typeAdriaan Moors2014-03-121-18/+22
| | | | add note that implicits in package objects are not a good idea
* github markdown: use ###### for definitions and notesAdriaan Moors2014-03-111-20/+10
|
* github markdown: use ###### for examplesAdriaan Moors2014-03-111-88/+94
|
* Catch up with latex spec.Adriaan Moors2014-03-101-1/+1
|
* github markdown: code blocksAdriaan Moors2014-03-101-42/+42
|
* github markdown: drop css classesAdriaan Moors2014-03-101-28/+28
|
* github markdown: headersAdriaan Moors2014-03-101-12/+6
|
* github markdown: numbered listsAdriaan Moors2014-03-101-11/+11
|
* Implicit Parameters and Values chapter convertedIain McGinniss2012-12-201-298/+322
|
* preface and lexical syntax chapter converted, other chaptersIain McGinniss2012-10-171-0/+419
split into their own files