GitHub - tonicebrian/TAPL: Exercises from the Types and Programming Languages book

Name		Name	Last commit message	Last commit date
Latest commit History 3 Commits
src		src
test		test
.gitignore		.gitignore
LICENSE		LICENSE
README		README
tapl.cabal		tapl.cabal

Repository files navigation

Implementation of the examples in the "Types and Programming Languages" by
Benjamin C. Pierce in Haskell as a study exercise.

Exercises from the Types and Programming Languages book