haskell-ja > Archives > 2013/04/21
Built on
Chaton
Search
|
Badge
|
Tools
2013/03
2013/04
2013/04/01 (3)
2013/04/02 (0)
2013/04/03 (0)
2013/04/04 (0)
2013/04/05 (1)
2013/04/06 (0)
2013/04/07 (0)
2013/04/08 (0)
2013/04/09 (0)
2013/04/10 (0)
2013/04/11 (61)
2013/04/12 (41)
2013/04/13 (0)
2013/04/14 (0)
2013/04/15 (0)
2013/04/16 (1)
2013/04/17 (0)
2013/04/18 (0)
2013/04/19 (180)
2013/04/20 (37)
2013/04/21 (4)
2013/04/22 (27)
2013/04/23 (89)
2013/04/24 (10)
2013/04/25 (115)
2013/04/26 (0)
2013/04/27 (0)
2013/04/28 (14)
2013/04/29 (10)
2013/04/30 (5)
2013/05
<< 2013/04/20
Back to the chat room
2013/04/22 >>
2013/04/21 04:06:07 UTC
cutsea110
#
IFPH読書会はじまる!!
2013/04/21 21:57:01 UTC
cutsea110
#
Finがなかなか理解できなかった…解ればなんて事無いのに、なんでこんなにわからんかったんや…
2013/04/21 23:48:04 UTC
ikegami__
#
Agda の Fin は僕も詰まりました
#
理由をまとめると、3 つほど乗り越えなければいけない壁があるように思います
<< 2013/04/20
Back to the chat room
2013/04/22 >>
haskell-ja > Archives > 2013/04/21haskell-ja > Archives > 2013/04/21