0
comment
comment
on 8/30/2012 10:07 AM
In the last article I defined the Succ operation on numbers and showed how this can be used to implement addition in untyped lambda calculus. Because of the number representation I choose this was rather easy so Subtraction should be … Continue reading →