|
|
1b5b148b2f
|
Added appendix code generation
|
2023-08-28 17:43:21 +02:00 |
|
|
|
360dd1823c
|
Advance on the report
|
2023-08-06 23:52:05 +02:00 |
|
|
|
841f6e96f1
|
Added automated way to extract latex from lagda files
|
2023-08-05 20:33:25 +02:00 |
|
|
|
a10bcd6770
|
Added completeness for ZOL, and a more efficient way of putting agda in the LaTeX file
|
2023-08-04 16:12:18 +02:00 |
|
|
|
d70739091e
|
Continued report about Transport Hell
|
2023-08-01 18:17:18 +02:00 |
|
|
|
2956b62cc1
|
Advances report, reordered some equations
|
2023-08-01 13:38:40 +02:00 |
|
|
|
e9eedbff2d
|
Added Agda code in latex, plus beginning of an introduction
|
2023-07-30 19:07:51 +02:00 |
|
