michael/csci8980-f21
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Merge pull request #419 from momirza/patch-7

Browse source 
Rename module and titles for assignment 2
This commit is contained in:
Philip Wadler 2019-10-02 11:46:34 +01:00 committed by GitHub
commit 3e6d977434
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
courses/tspl/2019/Assignment2.lagda.md
View file

@ -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