From 46502e354696f04d6d63182b1b0577d9e036a697 Mon Sep 17 00:00:00 2001
From: Timotej Lazar <timotej.lazar@fri.uni-lj.si>
Date: Thu, 1 Feb 2018 20:47:39 +0100
Subject: Add section on patterns

Evaluation with RFs is still missing.
---
 aied2018/aied2018.tex | 32 +++++++++++++++++++++++++++++---
 1 file changed, 29 insertions(+), 3 deletions(-)

(limited to 'aied2018/aied2018.tex')

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}
-- 
cgit v1.2.1