「ラムダ計算」の変更履歴

ナビゲーションに移動 検索に移動

差分の選択: 比較したい版のラジオボタンを選択し、Enterキーを押すか、下部のボタンを押します。
凡例: (最新)＝最新版との比較、(前)＝直前の版との比較、細＝細部の編集

2024年11月1日 (金)

  • 最新前 22:442024年11月1日 (金) 22:44 imported>Cewbot 細 35,683バイト +35,683 解消済み仮リンクFunarg問題を内部リンクに置き換えます (今回のBot作業のうち68%が完了しました)
「https://ja.wiki.beta.math.wmflabs.org/wiki/ラムダ計算」から取得