Navi2ch for Emacs (Part 20)

[0059 名無しさん＠お腹いっぱい。 2010/04/15(木) 10:35:41]

こっちでも起きるか書き込んでみるわ。

> FUNDIO: A Lambda-Calculus With letrec, case, Constructors,
> and an IO-Interface: Approaching a Theory of unsafePerformIO