September 3rd, 2008

beartato phd

(no subject)

Type inference for HLF: totally actually working pretty decently, with better pretty-printing now even. A rare instance where I was able to give a sweet demo during my advisor meeting. Now to fix the old bugs in unification proper, and to figure out more things about coverage checking...

I've been reading and enjoying very much lately "The Left Hand of Darkness". Why did I never read any LeGuin before?