diff options
Diffstat (limited to 'paper/paper.tex')
| -rw-r--r-- | paper/paper.tex | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/paper/paper.tex b/paper/paper.tex index 1cb89cd..d036bda 100644 --- a/paper/paper.tex +++ b/paper/paper.tex @@ -5,6 +5,16 @@ \usepackage[hidelinks]{hyperref} \usepackage{natbib} +\usepackage{enumitem} + +\usepackage{syntax} +\renewcommand\litleft{\bgroup\tt} +\renewcommand\litright{\egroup} +\def\<#1>{\synt{#1}} +\def\`#1'{\lit{#1}} + +\usepackage{while} + \title{Imperative code interpretation in a functional style} \author{Camil Staps} |