Rob Blanco

Either way works for me. `(x : i)\x` would be closer to how one normally disambiguates types. I don't think this flag and the debugging variable share code, although in...

I have been playing with complex uses of search and unification lately and sympathize emphatically with this predicament, although right away I do not see an obviously natural way to...

I considered something along the lines of @lambdacalculator's last comment. A simple compression of a "failure trace" could simply report the "nodes" of the tree, i.e., bifurcation points and dead...