2007/12/27

瘋了瘋了

ordered?foldR 定義之後,isort-der 到處都是一串 relation compositions,也就是有一大堆 nested existential quantifiers!現在已經瘋掉了,開始用湊的 XD。

--
又要產出一堆亂碼了 XD。

Labels: