Directory structure and initial sketch of compiler.
Stateful typechecker in preparation for unique types.
Start of unification for typechecking.
Get UnitIntroP to typecheck, prepare for combinators
Typing judgement for >>>
Stray file
Simple version of apply
SumT
BehT
Simple test for BehT
Split to multiple files
sept 10
sept 11 2013
API section
Is this more legible?
tweak
rearrange