% vim: set spelllang=nl:
\documentclass[a4paper]{article}

\title{De semantiek van Smurf} %todo working title
\author{Ward Theunisse, Evi Sijben en Camil Staps}

% Standaard packages
\usepackage[hidelinks]{hyperref}
\usepackage[utf8]{inputenc}
\usepackage[dutch]{babel}
\usepackage{geometry}

% Taakspecifieke packages
\usepackage{amsmath}
\usepackage{prooftree}
\usepackage{stackrel}
\usepackage{syntax}

% Eigen packages
\usepackage{smurf}

% Fix voor babel dutch
\everymath{\shorthandoff{"}}