From 26018f1e3f4810843a7f4a5ac2519431b0e0b8cb Mon Sep 17 00:00:00 2001
From: Michael Kohlhase <michael.kohlhase@fau.de>
Date: Mon, 9 Apr 2018 06:49:46 +0200
Subject: [PATCH] completing

---
 courses/wuv.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/courses/wuv.md b/courses/wuv.md
index e1afcb6..9427edf 100644
--- a/courses/wuv.md
+++ b/courses/wuv.md
@@ -56,7 +56,7 @@ Themen werden mit dem Dozenten ausgemacht; typischerweise in den ersten Seminart
 | LF + Interection Types | | fortgeschritten| |
 | McAllister-Foundation || mit Voldemort's Theorem (schwer) |||
 | Functional programming with bananas, lenses, envelopes and barbed wire|
-  [[1]](https://research.utwente.nl/files/6142047/db-utwente-40501F46.pdf)
+  [[1]](https://research.utwente.nl/files/6142047/db-utwente-40501F46.pdf)|functional programming|
 |"Formal Semantics of Programming Languages" (Mosses)| ||
 | Overview of the ACL2 language and system | | |
 
-- 
GitLab