(no subject)
A lot of decent progress doing HLF implementation the last few days. Killed a couple of dumb DeBruijn bugs of a sort that I seem to keep making over and over again, but mostly it's actually a matter of trying to design a set of transformations on contextual ACU unification problems that are enough for the examples I care about, which is actually kind of a fun challenge.
