|
|
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 |
|
|
|
360dd1823c
|
Advance on the report
|
2023-08-06 23:52:05 +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 |
|
|
|
9be53b4f7f
|
Tried to add a completeness proof for zol
|
2023-08-03 20:43:31 +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 |
|
