Last Updated：2025/11/29
To implement arithmetic in a pure lambda calculus interpreter, she encoded each number as a Church numeral.
See correct answer
To implement arithmetic in a pure lambda calculus interpreter, she encoded each number as a Church numeral.
音声機能が動作しない場合はこちらをご確認ください
Edit Histories（0）
