Skip to content
Snippets Groups Projects
Select Git revision
  • ee1ea57fd8d9b85609071fad9f9e59c00a22aab0
  • master default protected
2 results

algprog-summary

  • Clone with SSH
  • Clone with HTTPS
    • Name Last commit Last update
    .dir-locals.el
    .gitignore
    COPYING
    README.md
    algebra.tex
    background.tex
    categories.tex
    coalgebra.tex
    constructions.tex
    cpo.tex
    lit.bib
    master.tex
    sketches.tex
    README.md

    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 and Git installation and then invoke

    $ pdflatex --shell-escape master.tex

    and repeat the 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.