2008/04/20

Game

本來我想等到某個(或是某些)特定事件發生才貼文,結果還是自己撐不住。隨便貼個小練習充版面:

其中唯一沒收錄在 AoP 的性質是

<(p -> f1, f2), (p -> g1, g2)> = (p -> <f1, f2>, <g1, g2>)
不過這是 exchange law 的簡單 corollary。然後 cat . (wrap × id) = cons 其實也不是 by definition,不過不管啦。

--
玩不到一半(大概吧,說不定快完了)就覺得這遊戲有點無味了…

Labels:

<< 回到主頁