酒井です。

ところで、haskell-jp メーリングリストは haskell-jp / quickml.com から
haskell-jp / haskell.jp へ移転していますので、今後はそちらを利用したほう
が良いかと思います。

http://www.sampou.org/cgi-bin/haskell.cgi?MailingList

--
酒井 政裕 / Masahiro Sakai

From: Akira Nonaka <nonaka / mac.com>
Date: Sun, 22 Jul 2007 10:49:54 +0900

> Takeo IMAI wrote:
> > さて、f = id;f = f;g;f で、かつ、f は epiです。
> 
> なるほど!!!
> 
> f = f;(g;f) = f;IDy
> よって g;f = IDy
> 
> ですね。
> 
> ありがとうございました。
> 
> -- 
> Akira Nonaka
> http://homepage.mac.com/nonaka/

--
ML: haskell-jp / quickml.com
Web: http://QuickML.com/haskell-jp
使い方: http://QuickML.com/