1 / 7 Settings
<<<>>>

Reduction of (SUCC THREE) in Church numerals

(λn.λf.λx.(f ((n f) x)) λf.λx.(f (f (f x))))
Proficient Saving... Error Saving
Server Error
Resubmit