|
|
1b5b148b2f
|
Added appendix code generation
|
2023-08-28 17:43:21 +02:00 |
|
|
|
127d1fbc9a
|
Added a bit more bibliography
|
2023-08-16 22:23:39 +02:00 |
|
|
|
d00a2d7816
|
Typos, typos everywhere !
|
2023-08-16 19:30:18 +02:00 |
|
|
|
f20fca8392
|
Added Conclusion
|
2023-08-16 15:57:53 +02:00 |
|
|
|
66490abfb8
|
Continued report ....
|
2023-08-16 13:24:55 +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 |
|
|
|
b93ce31ab3
|
Added IFOL algebra and initial and morphism and initiality proof
|
2023-08-03 14:47:49 +02:00 |
|
|
|
370daed594
|
Added algebra for ZOL and syntax and initial morphism and the proof of it being initial
|
2023-08-02 23:55:25 +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 |
|
|
|
357e2a087d
|
Started to write the report, created toc and files
|
2023-07-26 17:39:02 +02:00 |
|