Elaboratorial

This is the accompanying code for tutorials on elaboration.

Tutorial 1: Bidirectional Elaboration for the Simply-Typed Lambda Calculus

Name		Name	Last commit message	Last commit date
Latest commit History 3 Commits
app		app
examples/tutorial1		examples/tutorial1
src/Elaboratorial		src/Elaboratorial
test		test
.gitignore		.gitignore
CHANGELOG.md		CHANGELOG.md
LICENSE		LICENSE
README.md		README.md
Shakefile.hs		Shakefile.hs
elaboratorial.cabal		elaboratorial.cabal
shake		shake