September 1st, 2008

beartato phd

(no subject)

Got some more solid programming done today. It's nice to have more error messages actually be caused by errors in the twelf code I am testing on rather than errors in the modifications to twelf.