|
P0.agda
|
Edits to windows installation guide
|
2021-08-11 17:16:07 +01:00 |
|
P1.agda
|
Edits to windows installation guide
|
2021-08-11 17:16:07 +01:00 |
|
P2.agda
|
Updated many things.
|
2021-08-16 20:07:25 +01:00 |
|
P3.agda
|
Renamed quest2 to quest3
|
2021-08-16 18:30:34 +01:00 |
|
P4.agda
|
added quest 4 and preamble
|
2021-10-30 19:02:51 +01:00 |
|
P5.agda
|
fixed import issues
|
2021-11-16 14:54:06 +00:00 |
