Add section on patterns

Evaluation with RFs is still missing.

1 files changed, 29 insertions, 3 deletions

diff --git a/aied2018/aied2018.tex b/aied2018/aied2018.tex
index 32bd728..64f66a8 100644
--- a/aied2018/aied2018.tex
+++ b/aied2018/aied2018.tex
@@ -1,13 +1,39 @@
 \documentclass{llncs}
 
 \usepackage[utf8]{inputenc}
-\usepackage{hyperref}
-
 \usepackage{newunicodechar}
 \newunicodechar{∧}{\ensuremath{\land}}
 \newunicodechar{⇒}{\ensuremath{\Rightarrow}}
+\newunicodechar{→}{\ensuremath{\rightarrow}}
 \newunicodechar{⋯}{\ensuremath{\cdots}}
 
+\usepackage{bold-extra}
+\usepackage{hyperref}
+\usepackage[normalem]{ulem}
+
+\usepackage{color}
+\newcommand\red[1]{{\begingroup\color[rgb]{0.8,0.15,0.15}#1\endgroup}}
+\newcommand\blue[1]{{\begingroup\color[rgb]{0.15,0.15,0.8}#1\endgroup}}
+
+\usepackage{fancyvrb}
+\fvset{commandchars=\\\{\},baselinestretch=0.98,samepage=true,xleftmargin=2.5mm}
+% WAT — I don’t even…
+\makeatletter
+\begingroup
+\catcode`\`=\active
+\gdef\FV@fontfamily@sf{%
+  \def\FV@FontScanPrep{\FV@MakeActive\`}%
+  \def\FV@FontFamily{\sffamily\edef`{{\string`}}}}
+\endgroup
+\makeatother
+
+\usepackage{tikz}
+\usepackage{forest}
+\usetikzlibrary{arrows.meta,calc}
+
+\newcommand\code[1]{\texttt{#1}}
+\newcommand\pattern[1]{\textsf{#1}}
+
 \begin{document}
 \title{Syntax-based analysis of programming concepts in Python}
 \author{Martin Možina, Timotej Lazar}
@@ -25,7 +51,7 @@ We propose using tree regular expressions to encode common patterns in programs.
 
 %\input{introduction}
 %\input{background}
-%\input{patterns}
+\input{patterns}
 %\input{rules}
 %\input{evaluation}
 %\input{conclusion}