2008/06/19

CHECK!!

剛剛 activity-selection 已經通過 typecheck 了!Monotonicity 和 refinement of algebra 都證得非常恐怖,我連換行縮排都懶得弄 XD。以後再來美容吧,我要睡了 XD。

--
先確定是對的再說 XD。

Labels: