# algprog

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