110.0.41.138
EmptyCase拡張
13:47
+108
YMobi
→公理的論理
09:20
−6
Foxtrot
→論理演算と等価なもの
03:16
+89
編集の要約なし
03:03
+26
→導入
02:58
+9
http://en.wikibooks.org/wiki/Haskell/The_Curry-Howard_isomorphism 03:20, 29 April 2012 の版をインポート、翻訳
02:55
+51,812
