PhD dissertation

Currently writing. Please come back later!

Name		Name	Last commit message	Last commit date
Latest commit History 87 Commits
chapters		chapters
images		images
.gitignore		.gitignore
README.md		README.md
agda-syntax.sty		agda-syntax.sty
agda.sty		agda.sty
agdanotations.tex		agdanotations.tex
cover-back.pdf		cover-back.pdf
cover-front.pdf		cover-front.pdf
glossary.tex		glossary.tex
kao.sty		kao.sty
kaobiblio.sty		kaobiblio.sty
kaobook.cls		kaobook.cls
kaorefs.sty		kaorefs.sty
kaotheorems.sty		kaotheorems.sty
main.bib		main.bib
main.tex		main.tex
notations.tex		notations.tex

Provide feedback