GitHub - mjaskelioff/USP2023: Files for the USP 2023 DTP course · GitHub

Name		Name	Last commit message	Last commit date
Latest commit History 1 Commit
.gitignore		.gitignore
Intro.agda		Intro.agda
Intro2.agda		Intro2.agda
Intro3.agda		Intro3.agda
Intro4.agda		Intro4.agda

About

Files for the USP 2023 DTP course

Report repository

Releases

Packages

Contributors

Languages