Lambda Calculus.
= m => n => n(PREDECESSOR)(m) console.log(SUBTRACTION(THREE)(TWO)(hi)(0)); အပေါ်က code ကို run ရင် 0 1 ဆိုပြီးရမယ် ၃ ထဲက ၂ နှုတ်တာ ၁ ကျန်တယ်ပေါ့။ Division ကတော့ recursion သုံးပြီး နှုတ်နှုတ်သွားတာ Church Boolean Lambda calculus မှာ function ကလွဲရင်ကျန်တာဘာမှမရှိဘူးအဲ့တော့ Boolean number တွေကိုလဲ