equal
deleted
inserted
replaced
6 \usepackage{../data} |
6 \usepackage{../data} |
7 |
7 |
8 \hfuzz=220pt |
8 \hfuzz=220pt |
9 |
9 |
10 \pgfplotsset{compat=1.11} |
10 \pgfplotsset{compat=1.11} |
|
11 |
|
12 |
|
13 % a hand written lexer for SML |
|
14 % https://ponyo.org/ |
|
15 % https://github.com/eatonphil/ponyo/blob/master/src/Sml/Lexer.sml |
|
16 |
11 |
17 |
12 \newcommand{\bl}[1]{\textcolor{blue}{#1}} |
18 \newcommand{\bl}[1]{\textcolor{blue}{#1}} |
13 |
19 |
14 \renewcommand{\slidecaption}{CFL 04, King's College London} |
20 \renewcommand{\slidecaption}{CFL 04, King's College London} |
15 |
21 |