A (exhaustive enough) Algebra of Programming Summary

Note: This is an unofficial summary, without any promises wrt. correctness nor completeness. Contributions and improvements are always appricaited.

To build this document, it should suffice to have a basic LaTeX installation and then invoke

$ git bundle create algprog.pack master
$ pdflatex master.tex

and repeat the last command until the output reaches a fixpoint. The resulting document should appear in master.pdf. A pre-rendered version can also be found at https://wwwcip.cs.fau.de/~oj14ozun/src+etc/algprog-summary.pdf, while the repository should also be avaliable online under https://gitlab.cs.fau.de/oj14ozun/algprog-summary.