CategoryTheory/algprog
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
My summary of the course "Algebra des Programmierens" or "Algebra of programming" at the FAU in the winter semester 2023/2024
23 commits 1 branch 1 tag 1.8 MiB
  • TeX 85.6%
  • Agda 13.5%
  • Makefile 0.9%
Find a file
Exact
Leon Vatthauer 59b2631a13
 Work on bisimilarity
2024-04-05 19:27:19 +02:00
agda Update gitignore and make agda code compilable 2024-03-20 15:45:59 +01:00
exam Add second example exam 2024-04-02 16:09:35 +02:00
tex Work on bisimilarity 2024-04-05 19:27:19 +02:00
.gitattributes Update .gitattributes 2024-03-20 15:52:43 +01:00
.gitignore Added example exam 2024-04-02 10:39:33 +02:00
LICENSE Initial commit 2024-03-20 14:22:22 +01:00
README.md Initial commit 2024-03-20 14:22:22 +01:00

README.md

algprog

My summary of the course "Algebra des Programmierens" or "Algebra of programming" at the FAU in the winter semester 2023/2024