midstream implementing higher-order unification ... broken build
midstream checkpoint flex/rigid cases done
more midstream
midstream ... cases for comp_typs complete
checkpoint, before adding kind-level lambdas to support kind inference
higher-order unification types prims
tweaks
more debugging in progress ... switching machines
midstream...
higher-order unification works on unit tests ... but is SLOW
adding format example from fosad ... pretypes
comment
moving to n-ary abs/app nodes in syntax ... very preliminary... broken build
absyn project compiles again with new syntax
tweaks
updating desugaring ... in progress
yet another midstream check in
everything at least compiles again
debugging ...
prims checks again