Those few who've slipped the surly bonds will rise like salmon at the spawning

Oct 28, 2006 06:39

Well. After two weeks from some outer suburb of Hades, poorly served by transit, I am still alive. 687 cut-elimination procedures having been worked out, along with termination, confluence and equations-not to mention sundry expository text-means that I have written 31 pages in this time. Modulo proofreading and the usual edit-rewrite cycle, this ( Read more... )

haskell, grad school, math, research, thesis, starauto categories, school, compilers, funny cat, linear logic

Leave a comment

Comments 1

frandroid October 28 2006, 06:51:21 UTC
Well, congratulations. :]

Reply


Leave a comment

Up