April 27th, 2001

beartato phd

-

mid-birthday.

Strange. Things seem to work if I use read() instead
of <$socket>. Sort of have fakey tile placement working.

fp sent me an interesting paper about formalizing categorical
reasoning (concentrating on functoriality and natural isomorphism)
in isabelle.