Programming formalisms

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

For teachers

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

Name		Name	Last commit message	Last commit date
Latest commit History 1,457 Commits
.github/workflows		.github/workflows
.vscode		.vscode
common_practices		common_practices
development_design		development_design
docs		docs
evaluations		evaluations
images		images
lesson_plans		lesson_plans
mkdocs_uppmax		mkdocs_uppmax
projects		projects
reflections		reflections
retrospectives		retrospectives
scripts		scripts
shared_documents		shared_documents
.gitignore		.gitignore
.spellcheck.yml		.spellcheck.yml
.wordlist.txt		.wordlist.txt
CITATION.cff		CITATION.cff
README.md		README.md
learning_line.md		learning_line.md
mkdocs.yaml		mkdocs.yaml
mlc_config.json		mlc_config.json
setup.md		setup.md