Start comparing TWAM and WAM
static unification
sketching dependent wam impl, making compile
start typechecker. probably doesn't compile
pre-removing de bruijn indices. p broken
dependent typechecker correct enough to check plus
dependent elaborator typechecks
dependent elaborator typechecks
elaborator debugged. ugly but useful print support added
Main dependent compiler compiles, but very untested
Printing support for DWAM. Learn everything is super broken
fix mostly stupid bugs in main compile step, add dependent frontend. compiler no work yet.
Fix location of tuple construction so scoping works out better
Fix bogus args to queries
Fix elaborator where procedure arguments names get forgotten
can now compile addition
construct failure closures less wrong
emulate original putvar functionality with simplified version
Fix closure size to be more right I think
create closures that we have to