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

algprog-summary

  • Clone with SSH
  • Clone with HTTPS
  • Philip Kaludercic's avatar
    Philip Kaluđerčić authored
    It appears one cannot configure GitLab to render a "README" file
    without an explicit file extension as Markdown, even as an opt-in
    feature.
    c6592740
    History

    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.