Leon Vatthauer 59b2631a13 Work on bisimilarity		2024-04-05 19:27:19 +02:00
..
.vscode	minor	2024-04-02 11:40:26 +02:00
sections	Work on bisimilarity	2024-04-05 19:27:19 +02:00
.chktexrc	Work on categorical prelims, added quiver.sty	2024-03-24 13:50:49 +01:00
bib.bib	Work on data types chapter	2024-03-22 13:39:29 +01:00
catprog.sty	Work on initial algebra construction, rework limits	2024-03-30 18:11:52 +01:00
main.tex	minor	2024-04-02 11:40:26 +02:00
Makefile	Add outline	2024-03-20 15:41:33 +01:00
quiver.sty	Work on categorical prelims, added quiver.sty	2024-03-24 13:50:49 +01:00