Hatena::ブログ(Diary)

趣味的にっき このページをアンテナに追加 RSSフィード

2007-12-17

ルミナリエ

[] 23:23 を含むブックマーク のブックマークコメント

19:45ごろ帰りました。

__ 2007/12/18 15:40 より一般的(?)に
data X = X deriving Eq
i x = x
k x y = x
s x y z = x z $ y z
main = print $ s k k X == i X

ha-tanha-tan 2007/12/18 22:27 おお。確かに一般的です(笑)

トラックバック - http://d.hatena.ne.jp/ha-tan/20071217/1197901409