haskell-ja > Archives > 2010/03/27
Built on
Chaton
Search
|
Badge
|
Tools
2010/02
2010/03
2010/03/01 (0)
2010/03/02 (0)
2010/03/03 (3)
2010/03/04 (1)
2010/03/05 (0)
2010/03/06 (1)
2010/03/07 (0)
2010/03/08 (3)
2010/03/09 (0)
2010/03/10 (0)
2010/03/11 (0)
2010/03/12 (8)
2010/03/13 (0)
2010/03/14 (0)
2010/03/15 (0)
2010/03/16 (4)
2010/03/17 (2)
2010/03/18 (3)
2010/03/19 (0)
2010/03/20 (0)
2010/03/21 (0)
2010/03/22 (0)
2010/03/23 (1)
2010/03/24 (0)
2010/03/25 (31)
2010/03/26 (0)
2010/03/27 (6)
2010/03/28 (3)
2010/03/29 (43)
2010/03/30 (9)
2010/03/31 (44)
2010/04
<< 2010/03/26
Back to the chat room
2010/03/28 >>
2010/03/27 10:09:32 UTC
cutsea@twitter
#
11章まで読了
#
次回は12賞からざんす。
2010/03/27 10:27:35 UTC
cutsea@twitter
#
ちなみに次回は4/17です。
2010/03/27 23:53:45 UTC
nwn
#
良スレ: Are there any female Haskellers?
http://www.haskell.org/pipermail/haskell-cafe/2010-March/075203.html
2010/03/27 23:57:59 UTC
ikegami
#
はげしく同意
#
Catarina は Agda (theorem prover) の作者で、Haskell で書いてます(昨日お会いしてきました) :
http://www.chalmers.se/cse/EN/people/coquand-catarina
<< 2010/03/26
Back to the chat room
2010/03/28 >>
haskell-ja > Archives > 2010/03/27haskell-ja > Archives > 2010/03/27