From 4401bc4a700ab48aa05700c7bf9e0361d2dbd82a Mon Sep 17 00:00:00 2001 From: Wen Kokke Date: Fri, 12 Jul 2019 21:06:08 +0100 Subject: [PATCH] Minor fixes. --- courses/puc/2019/puc2019.agda-lib | 2 +- courses/tspl/2018/tspl2018.agda-lib | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/courses/puc/2019/puc2019.agda-lib b/courses/puc/2019/puc2019.agda-lib index 8c72811e..f2b59405 100644 --- 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: . diff --git a/courses/tspl/2018/tspl2018.agda-lib b/courses/tspl/2018/tspl2018.agda-lib index 8c72811e..32e7c0fa 100644 --- 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: .