CHECK!!
剛剛 activity-selection 已經通過 typecheck 了!Monotonicity 和 refinement of algebra 都證得非常恐怖,我連換行縮排都懶得弄 XD。以後再來美容吧,我要睡了 XD。
--
先確定是對的再說 XD。
Labels: 雜記
Let's see how far we can go.
剛剛 activity-selection 已經通過 typecheck 了!Monotonicity 和 refinement of algebra 都證得非常恐怖,我連換行縮排都懶得弄 XD。以後再來美容吧,我要睡了 XD。
--
先確定是對的再說 XD。
Labels: 雜記
<< 回到主頁