4 Commits

Author	SHA1	Message	Date
Mysaa	360dd1823c	Advance on the report	2023-08-06 23:52:05 +02:00
Mysaa	841f6e96f1	Added automated way to extract latex from lagda files	2023-08-05 20:33:25 +02:00
Ambrus Kaposi	a582f2555b	naming	2023-08-01 14:19:28 +02:00
Mysaa	e9eedbff2d	Added Agda code in latex, plus beginning of an introduction	2023-07-30 19:07:51 +02:00