Tan Yee Jian 17b53705be Fix tiny typo in Quest3.agda		2024-04-05 18:28:48 +08:00
..
Preambles	fixed import issues	2021-11-16 14:54:06 +00:00
Quest0.agda	Edits to windows installation guide	2021-08-11 17:16:07 +01:00
Quest0Solutions.agda	Edits to windows installation guide	2021-08-11 17:16:07 +01:00
Quest1.agda	Edits to windows installation guide	2021-08-11 17:16:07 +01:00
Quest1Solutions.agda	Edits to windows installation guide	2021-08-11 17:16:07 +01:00
Quest2.agda	Updated many things.	2021-08-16 20:07:25 +01:00
Quest2Solutions.agda	Updated many things.	2021-08-16 20:07:25 +01:00
Quest3.agda	Fix tiny typo in Quest3.agda	2024-04-05 18:28:48 +08:00
Quest3Solutions.agda	added Iso symbol and edits on trinitarianis/quest3	2021-10-02 12:26:49 +01:00
Quest4.agda	added quest 4 and preamble	2021-10-30 19:02:51 +01:00
Quest4Solutions.agda	Update Quest4Solutions.agda	2022-03-30 15:55:34 +01:00
Quest5.agda	created 0Trinitarianism.Quest5	2021-11-16 14:55:22 +00:00
Quest5Solutions.agda	fixed import issues	2021-11-16 14:54:06 +00:00