Masters Thesis Latex files for my thesis, as well as their formalization in Agda. The latter can be seen in this github page.