GitHub - quchen/agda-learning: Stuff I’m writing to learn Agda.

Name		Name	Last commit message	Last commit date
Latest commit History 50 Commits
.gitignore		.gitignore
Algebra.agda		Algebra.agda
BankersQueue.agda		BankersQueue.agda
Bool.agda		Bool.agda
Equality.agda		Equality.agda
Fin.agda		Fin.agda
FingerTree.agda		FingerTree.agda
Function.agda		Function.agda
FunctorApplicativeMonad.agda		FunctorApplicativeMonad.agda
Homotopy.agda		Homotopy.agda
Int.agda		Int.agda
List.agda		List.agda
Logic.agda		Logic.agda
Maybe.agda		Maybe.agda
NQueens.agda		NQueens.agda
Nat.agda		Nat.agda
Sign.agda		Sign.agda
Stream.agda		Stream.agda
TalkDemo.agda		TalkDemo.agda
Termination.agda		Termination.agda
Test.agda		Test.agda
TypeOf.agda		TypeOf.agda
Vector.agda		Vector.agda