'Programming Formalisms' course logo, by Jonas Söderberg and Lars Eklund
The goal of the course is to give an understanding of formal principles of software development. Only what is used by the student project is course content, with alternatives relevant to academics provided in lecture (or extra material) to what we do.
| 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 |