GitHub - xtreme-james-cooper/agda-harper: Robert Harper, practical foundations for programming languages, http://www.cs.cmu.edu/~rwh/plbook/2nded.pdf

Name		Name	Last commit message	Last commit date
Latest commit History 57 Commits
.gitignore		.gitignore
Basics.agda		Basics.agda
Evaluation.agda		Evaluation.agda
Fin.agda		Fin.agda
Heap.agda		Heap.agda
Option.agda		Option.agda
Sets.agda		Sets.agda
Term.agda		Term.agda
Type.agda		Type.agda
Vect.agda		Vect.agda