Name		Name	Last commit message	Last commit date
.github/workflows		.github/workflows
.vscode		.vscode
_data		_data
docs		docs
scripts		scripts
.gitignore		.gitignore
.markdownlint.json		.markdownlint.json
.markdownlintignore		.markdownlintignore
.spellcheck.yml		.spellcheck.yml
.wordlist.txt		.wordlist.txt
CITATION.cff		CITATION.cff
CODE_OF_CONDUCT.md		CODE_OF_CONDUCT.md
CONTRIBUTING.md		CONTRIBUTING.md
LICENSE		LICENSE
README.md		README.md
ci_scripts.md		ci_scripts.md
learning_line.md		learning_line.md
mkdocs.yaml		mkdocs.yaml
mlc_config.json		mlc_config.json

Repository files navigation

Programming formalisms

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

Go to the nicely-rendered version of the course

About

Repository for the Programming Formalisms course

uppmax.github.io/programming_formalisms/

course english formalism formalisms nbis programming programming-formalisms sweden uppmax

GPL-3.0 license

Code of conduct

Custom properties

2 stars

5 watching

Report repository

Releases

Packages

Used by

Contributors

Languages