haskell-ja > Archives > 2015/07/23
Built on
Chaton
Search
|
Badge
|
Tools
2015/06
2015/07
2015/07/01 (1)
2015/07/02 (0)
2015/07/03 (2)
2015/07/04 (0)
2015/07/05 (0)
2015/07/06 (0)
2015/07/07 (2)
2015/07/08 (3)
2015/07/09 (1)
2015/07/10 (1)
2015/07/11 (0)
2015/07/12 (0)
2015/07/13 (8)
2015/07/14 (1)
2015/07/15 (29)
2015/07/16 (0)
2015/07/17 (0)
2015/07/18 (0)
2015/07/19 (0)
2015/07/20 (1)
2015/07/21 (8)
2015/07/22 (7)
2015/07/23 (5)
2015/07/24 (37)
2015/07/25 (330)
2015/07/26 (1)
2015/07/27 (1)
2015/07/28 (1)
2015/07/29 (2)
2015/07/30 (2)
2015/07/31 (0)
2015/08
<< 2015/07/22
Back to the chat room
2015/07/24 >>
2015/07/23 09:42:28 UTC
nobsun
#
contextをはずせばよかったのだった。
#
https://github.com/nobsun/hs-bcopl/blob/type-level/src/Language/BCoPL/Nat.hs
2015/07/23 14:04:44 UTC
sakai
#
ああ、なるほど。そりゃそうですね。
2015/07/23 20:41:06 UTC
cutsea110@twitter
#
ふ。最初からagdaで始めた俺勝者。
2015/07/23 21:06:22 UTC
nobsun
#
Agdaだと，件の演習システムにそのままはりつければよい出力を得るのはどうやればいいの？
<< 2015/07/22
Back to the chat room
2015/07/24 >>
haskell-ja > Archives > 2015/07/23haskell-ja > Archives > 2015/07/23