GitHub - ruhatch/PartIIIProject: Generalised Species of Structures in Homotopy Type Theory Using Agda -- A Part III Dissertation

Name		Name	Last commit message	Last commit date
Latest commit History 12 Commits
Dissertation		Dissertation
Presentation		Presentation
Proposal		Proposal
.gitignore		.gitignore
README.md		README.md
initialWorkplan.txt		initialWorkplan.txt

Repository files navigation

Generalised Species of Structures in Homotopy Type Theory Using Agda -- A Part III Dissertation

No releases published