GitHub - personal-practice/agda: My Agda playground.

Name		Name	Last commit message	Last commit date
Latest commit History 66 Commits
bugs		bugs
questions		questions
tricks		tricks
uu-afp		uu-afp
.gitignore		.gitignore
AIM.agda		AIM.agda
Dyck.agda		Dyck.agda
M1.agda		M1.agda
M2.agda		M2.agda
Notes.agda		Notes.agda
Verse.agda		Verse.agda
Verse2.agda		Verse2.agda
repl.agda-lib		repl.agda-lib