最左再内戦略
β正規形
を、その中でも特に最左の再内基を最初に評価するもの
$ (\lambda xy.x)(Iu)(I(Iv))
を最左最内戦略で評価する
https://gyazo.com/a384c965c5c5d50d72581f0c070996ec