6 commits

Author		Message	Date
Wen Kokke	0615638d66	Upgrade to Agda v2.6.1. (#492)	2020-07-19 19:43:20 +01:00
wadler	2aeb096158	fixed call to bash in Assignments	2019-10-09 10:49:15 +01:00
wadler	4c5f4f6d93	added submit command to assignments	2019-10-04 18:24:56 +01:00
wadler	55ecfb595b	Added Assignment2	2019-09-30 12:24:25 +01:00
wadler	1b3b6f7cf1	minor fixes to assignments	2019-09-15 17:36:16 +01:00
Philip Wadler	db46fd1539	added TSPL 2019	2019-09-15 16:52:52 +01:00