haskell-ja > Archives > 2010/03/28
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/27
Back to the chat room
2010/03/29 >>
2010/03/28 00:05:41 UTC
nwn
#
ほえー Agda ってひげを生やした太ったおっさんが寄り集まってごにょごにょしてるイメージがあったので意外です
2010/03/28 00:08:41 UTC
ikegami
#
ひげ率は低いですが、教祖 Martin-Loef はガンダルフのようなおひげの魔法使いみたいな人でした（じっさい、数学の世界で魔法使い）
#
Agda にかかわってる日本人はひげ率０です
<< 2010/03/27
Back to the chat room
2010/03/29 >>
haskell-ja > Archives > 2010/03/28