haskell-ja > Archives > 2016/01/16
Built on
Chaton
Search
|
Badge
|
Tools
2015/12
2016/01
2016/01/01 (0)
2016/01/02 (0)
2016/01/03 (0)
2016/01/04 (0)
2016/01/05 (1)
2016/01/06 (17)
2016/01/07 (4)
2016/01/08 (4)
2016/01/09 (0)
2016/01/10 (0)
2016/01/11 (0)
2016/01/12 (2)
2016/01/13 (1)
2016/01/14 (0)
2016/01/15 (1)
2016/01/16 (5)
2016/01/17 (0)
2016/01/18 (6)
2016/01/19 (0)
2016/01/20 (0)
2016/01/21 (4)
2016/01/22 (4)
2016/01/23 (0)
2016/01/24 (3)
2016/01/25 (0)
2016/01/26 (1)
2016/01/27 (3)
2016/01/28 (2)
2016/01/29 (3)
2016/01/30 (3)
2016/01/31 (22)
2016/02
<< 2016/01/15
Back to the chat room
2016/01/17 >>
2016/01/16 06:23:12 UTC
nobsun
#
data Absurd
#
type Not a = a -> Absurd
2016/01/16 06:29:25 UTC
nobsun
#
として，Not (a -> P a) を構成することできるのかなぁ．
2016/01/16 06:38:43 UTC
nobsun
#
あららなんか変だな．
2016/01/16 06:43:40 UTC
nobsun
#
¬ (∃ x . ∀ y . P x y) を証明したいのだけれど，どう表現すればいいのでしょうかねぇ．
<< 2016/01/15
Back to the chat room
2016/01/17 >>
haskell-ja > Archives > 2016/01/16haskell-ja > Archives > 2016/01/16