From 051c95d922a94a4125e10de02702ed4e787eb965 Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Fri, 29 Apr 2016 09:56:12 +0200
Subject: Labels

---
 ruleslambda.tex | 1 +
 1 file changed, 1 insertion(+)

(limited to 'ruleslambda.tex')

diff --git a/ruleslambda.tex b/ruleslambda.tex
index 3556610..5612872 100644
--- a/ruleslambda.tex
+++ b/ruleslambda.tex
@@ -1,5 +1,6 @@
 % vim: set spelllang=nl:
 \subsection{$\lambda$}
+\label{sec:rules:lambda}
 
 We hebben één axioma nodig om het basisgeval van het lege programma af te
 handelen. Deze regel geeft aan dat het lege programma niets doet: het gebruikt
-- 
cgit v1.2.3

