UPPMAX / programming_formalisms

Repository for the Programming Formalisms course

Home Page:https://uppmax.github.io/programming_formalisms/

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Programming formalisms

'Programming Formalisms' course logo, by Jonas Söderberg and Lars Eklund

Build PDFs Check links Check spelling Deploy GitHub Pages

For teachers

Files used for continuous integration scripts

Filename Descriptions
mlc_config.json Configuration of the link checker
.spellcheck.yml Configuration of the spell checker, use pyspelling -c .spellcheck.yml to do spellcheck locally
.wordlist.txt Whitelisted words for the spell checker, use pyspelling -c .spellcheck.yml to do spellcheck locally
.pylintrc Configuration file for pylint
pyproject.toml Configuration file of this package

About

Repository for the Programming Formalisms course

https://uppmax.github.io/programming_formalisms/


Languages

Language:Shell 88.5%Language:HTML 11.5%