Program Synthesis with Types

My dissertation document, source code and all.

Name		Name	Last commit message	Last commit date
Latest commit History 49 Commits
code		code
content		content
data		data
figures		figures
talk		talk
tools		tools
.gitignore		.gitignore
Makefile		Makefile
README.md		README.md
abstract.tex		abstract.tex
acks.tex		acks.tex
content.tex		content.tex
forest.sty		forest.sty
macros.sty		macros.sty
mathpartir.sty		mathpartir.sty
optspkg.sty		optspkg.sty
posera-thesis.pdf		posera-thesis.pdf
synthesis.bib		synthesis.bib
thesis.tex		thesis.tex
unicodedefns.sty		unicodedefns.sty

Provide feedback