CategoryTheory/algprog
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
algprog/README.md
leonv 1615b0d254 Initial commit
2024-03-20 14:22:22 +01:00

136 B
Raw Permalink Blame History

algprog

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