GitHub - krtx/agda-handson: agda handson

Name		Name	Last commit message	Last commit date
Latest commit History 29 Commits
.gitignore		.gitignore
Day1-answer.agda		Day1-answer.agda
Day1.agda		Day1.agda
Day2-answer.agda		Day2-answer.agda
Day2.agda		Day2.agda
Day3-answer.agda		Day3-answer.agda
Day3.agda		Day3.agda
Day4-answer.agda		Day4-answer.agda
Day4.agda		Day4.agda
Day5-answer.agda		Day5-answer.agda
Day5.agda		Day5.agda
Day6-answer.agda		Day6-answer.agda
Day6.agda		Day6.agda
install-stdlib.sh		install-stdlib.sh
install.md		install.md