October 2nd, 2001

beartato phd

-

Confirmed with fp that definitions + proof irrelevance
is not fully studied yet, hence a good direction for
short-term thesis work.

Got SDL bindings working in MLTon, and hacked a little
isometric demo thingy.