非決定性のインタプリタ(4.12)で次の関数の値を計算してください。
letrec fact = fn n -> if n<=0 then 1 else n*fact(amb n-1 or n-2) in fact 9
締切は新年最初の授業時間です。