2007-10-20 Curry-Howard対応 http://www.kmonos.net/wlog/61.html#_0538060508 を知ってアッー悟り体験ktkr。 call/ccとこんなところで出会うとは。それで皆 Coq Coq 言ってたのか