high-school-assignments/optional-int-adt--struct at master · lparolari/high-school-assignments · GitHub

Name		Name	Last commit message	Last commit date
parent directory ..
solution		solution
.gitignore		.gitignore
Makefile		Makefile
config.tex		config.tex
exercise.tex		exercise.tex
exerciseconfig.tex		exerciseconfig.tex
macros.tex		macros.tex
packages.tex		packages.tex
prooftree.tex		prooftree.tex