Minor fixes.

2019-07-12 21:06:08 +01:00 · 2019-07-12 21:06:08 +01:00 · 4401bc4a70
commit 4401bc4a70
parent 48d7eefc3a
2 changed files with 2 additions and 2 deletions
--- a/courses/puc/2019/puc2019.agda-lib
+++ b/courses/puc/2019/puc2019.agda-lib
@ -1,3 +1,3 @@
-name: tspl
+name: puc2019
 depend: standard-library plfa
 include: .
--- a/courses/tspl/2018/tspl2018.agda-lib
+++ b/courses/tspl/2018/tspl2018.agda-lib
@ -1,3 +1,3 @@
-name: tspl
+name: tspl2018
 depend: standard-library plfa
 include: .