Last Updated:2025/12/04

To implement the lambda calculus evaluator, she carefully tracked de Bruijn indexes for each bound variable.

See correct answer

To implement the lambda calculus evaluator, she carefully tracked de Bruijn indexes for each bound variable.

音声機能が動作しない場合はこちらをご確認ください
Edit Histories(0)
Source Sentence

ラムダ計算の評価器を実装するために、彼女は各束縛変数についてDe Bruijnインデックスを注意深く追跡した。

Sentence quizzes to help you learn to read

Edit Histories(0)

Login / Sign up

 

Download the app!
DiQt

DiQt

Free

★★★★★★★★★★