August 31st, 2008

beartato phd

(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.