From 4b19cbdbf64c68e25aefc9faf47d67627d9d5ad8 Mon Sep 17 00:00:00 2001 From: Mo Mirza Date: Wed, 2 Oct 2019 11:26:21 +0100 Subject: [PATCH] Rename module and titles for assignment 2 --- courses/tspl/2019/Assignment2.lagda.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/courses/tspl/2019/Assignment2.lagda.md b/courses/tspl/2019/Assignment2.lagda.md index 1719301c..03f37b0a 100644 --- a/courses/tspl/2019/Assignment2.lagda.md +++ b/courses/tspl/2019/Assignment2.lagda.md @@ -1,11 +1,11 @@ --- -title : "Assignment1: TSPL Assignment 1" +title : "Assignment2: TSPL Assignment 2" layout : page -permalink : /TSPL/2019/Assignment1/ +permalink : /TSPL/2019/Assignment2/ --- ``` -module Assignment1 where +module Assignment2 where ``` ## YOUR NAME AND EMAIL GOES HERE