0
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 →
>> Read the full article on gettingsharper.de
.
IntelliFactory Offices Copyright (c) 2011-2012 IntelliFactory. All rights reserved.
Home | Products | Consulting | Trainings | Blogs | Jobs | Contact Us
Built with WebSharper