From d7d694bcd7ce3cea52a264aeec40fea777de056c Mon Sep 17 00:00:00 2001
From: Simon Spies <simonspies@icloud.com>
Date: Wed, 27 Jul 2022 10:46:46 +0200
Subject: [PATCH] add links

---
 README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/README.md b/README.md
index 4a9daae..d554087 100644
--- a/README.md
+++ b/README.md
@@ -1,6 +1,6 @@
 # Coq development for the Semantics course at Saarland University
 
-This repository contains the Coq code for the Semantics course taught by Derek Dreyer at Saarland University.
+This repository contains the Coq code for [the Semantics course](https://plv.mpi-sws.org/semantics-course/) taught by Derek Dreyer at Saarland University. You can find an overview of how the Coq development maps to [the lecture notes](https://plv.mpi-sws.org/semantics-course/lecturenotes.pdf) of the course in the file [STRUCTURE](STRUCTURE.md).
 
 ## Installation Instructions
 
-- 
GitLab