diff options
| author | Adriaan Moors <adriaan.moors@typesafe.com> | 2014-03-26 20:35:25 -0700 |
|---|---|---|
| committer | Adriaan Moors <adriaan.moors@typesafe.com> | 2014-03-26 20:42:50 -0700 |
| commit | abd0895322985dd4a590f3dd96a488f4e4ff87bf (patch) | |
| tree | 458be2ba2e8e9c017ff51b7e50a402b688179b4a /10-pattern-matching.md | |
| parent | 5997e32397db4efac1cbb3b74bd29289d203a775 (diff) | |
| download | scala-abd0895322985dd4a590f3dd96a488f4e4ff87bf.tar.gz scala-abd0895322985dd4a590f3dd96a488f4e4ff87bf.tar.bz2 scala-abd0895322985dd4a590f3dd96a488f4e4ff87bf.zip | |
Fix #6: automatic section numbering.
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.
Diffstat (limited to '10-pattern-matching.md')
| -rw-r--r-- | 10-pattern-matching.md | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/10-pattern-matching.md b/10-pattern-matching.md index 042873e05b..cb20a81823 100644 --- a/10-pattern-matching.md +++ b/10-pattern-matching.md @@ -1,6 +1,7 @@ --- title: Pattern Matching layout: default +chapter: 8 --- # Pattern Matching @@ -596,7 +597,7 @@ the compilation of pattern matching can emit warnings which diagnose that a given set of patterns is not exhaustive, i.e. that there is a possibility of a `MatchError` being raised at run-time. -###### Example: `eval` +### Example: Consider the following definitions of arithmetic terms: |