Functional-Programming-AGDA

agda course 2021

Name		Name	Last commit message	Last commit date
Latest commit History 2 Commits
Homework		Homework
Lib		Lib
one, two		one, two
three,four		three,four
AgdaFromNothing.agda		AgdaFromNothing.agda
AgdaFromNothing.agdai		AgdaFromNothing.agdai
FiveStart.agda		FiveStart.agda
FiveStart.agdai		FiveStart.agdai
README.md		README.md
SevenStart.agda		SevenStart.agda
SevenStart.agdai		SevenStart.agdai
SevenStartTwo.agda		SevenStartTwo.agda
SevenStartTwo.agdai		SevenStartTwo.agdai
SixStartOne.agda		SixStartOne.agda
SixStartOne.agdai		SixStartOne.agdai
SixStartTwo.agda		SixStartTwo.agda
SixStartTwo.agdai		SixStartTwo.agdai
hm1.agdai		hm1.agdai
lecture5HowRewriteWorks.agda		lecture5HowRewriteWorks.agda
lecture5HowRewriteWorks.agdai		lecture5HowRewriteWorks.agdai

Provide feedback