ホーム
おまかせ表示
ログイン
設定
寄付
ウィキブックスについて
免責事項
検索
「Haskell/カリー=ハワード同型」の変更履歴
本文
議論
このページの記録を表示
(
不正利用記録を閲覧
)
版の絞り込み
開く
折り畳む
この日まで:
タグ
絞り込み:
2017年版ソースエディター
blanking
discussiontools-added-comment(隠しタグ)
discussiontools-source-enhanced(隠しタグ)
discussiontools-source(隠しタグ)
discussiontools-visual(隠しタグ)
discussiontools(隠しタグ)
meta spam id
SWViewer [1.2]
SWViewer [1.3]
SWViewer [1.4]
SWViewer [1.6]
wikieditor(隠しタグ)
ビジュアルエディター
ビジュアルエディター: 中途切替
モバイルウェブ編集
モバイル編集
リダイレクト解除
一斉メッセージ配信
取り消し
差し戻し済み
巻き戻し
手動差し戻し
改良版モバイル編集
新規トピック
新規リダイレクト
白紙化
絵文字
置換
転送先変更
返信
選択した名前空間を隠す
更新を表示
凡例:(最新版)= 最新版との比較、(前の版)= 直前の版との比較、M = 細部の編集
2014年4月25日 (金)
最新
前
13:47
2014年4月25日 (金) 13:47
110.0.41.138
トーク
52,038 バイト
+108
EmptyCase拡張
取り消し
2012年5月8日 (火)
最新
前
09:20
2012年5月8日 (火) 09:20
YMobi
トーク
投稿記録
M
51,930 バイト
−6
→公理的論理
取り消し
2012年5月5日 (土)
最新
前
03:16
2012年5月5日 (土) 03:16
Foxtrot
トーク
投稿記録
M
51,936 バイト
+89
→論理演算と等価なもの
取り消し
最新
前
03:03
2012年5月5日 (土) 03:03
Foxtrot
トーク
投稿記録
M
51,847 バイト
+26
編集の要約なし
取り消し
最新
前
02:58
2012年5月5日 (土) 02:58
Foxtrot
トーク
投稿記録
M
51,821 バイト
+9
→導入
取り消し
最新
前
02:55
2012年5月5日 (土) 02:55
Foxtrot
トーク
投稿記録
51,812 バイト
+51,812
http://en.wikibooks.org/wiki/Haskell/The_Curry-Howard_isomorphism 03:20, 29 April 2012 の版をインポート、翻訳