Michael Zhang 2de7a49042 Uncommitted changes		2022-02-02 01:25:03 -06:00
..
Cesk.agda	Uncommitted changes	2022-02-02 01:25:03 -06:00
Definitions.agda	More updates to presentation	2021-12-09 07:57:49 -06:00
Do.agda	Clean up the code	2021-12-09 06:02:52 -06:00
Util.agda	Move source code here.	2021-12-08 00:33:28 -06:00
notes.txt	Better understanding of the types now	2021-12-09 04:32:32 -06:00