haskell-ja > Archives > 2013/06/12
Built on
Chaton
Search
|
Badge
|
Tools
2013/05
2013/06
2013/06/01 (0)
2013/06/02 (111)
2013/06/03 (15)
2013/06/04 (4)
2013/06/05 (9)
2013/06/06 (4)
2013/06/07 (0)
2013/06/08 (0)
2013/06/09 (0)
2013/06/10 (0)
2013/06/11 (43)
2013/06/12 (2)
2013/06/13 (61)
2013/06/14 (0)
2013/06/15 (0)
2013/06/16 (0)
2013/06/17 (0)
2013/06/18 (0)
2013/06/19 (15)
2013/06/20 (3)
2013/06/21 (0)
2013/06/22 (0)
2013/06/23 (0)
2013/06/24 (0)
2013/06/25 (12)
2013/06/26 (0)
2013/06/27 (3)
2013/06/28 (0)
2013/06/29 (0)
2013/06/30 (0)
2013/07
<< 2013/06/11
Back to the chat room
2013/06/13 >>
2013/06/12 14:50:14 UTC
Lost_dog
#
引数のパターンマッチが成功する限りβ簡約する、ただし再帰呼び出しは適度に止める、的なAgdaの気持ちを感じる… > ゴールの式変形
#
Coqと同じなら、再帰呼び出しは、再帰引数のトップレベルが分かってるときだけβ簡約なのかな
<< 2013/06/11
Back to the chat room
2013/06/13 >>
haskell-ja > Archives > 2013/06/12haskell-ja > Archives > 2013/06/12