[Cuis-dev] Lambda Calculus in Cuis Smalltalk

Mark Volkmann r.mark.volkmann at gmail.com
Mon Mar 10 17:27:13 PDT 2025


Today I implemented a fairly large set of Lambda Calculus functions in Cuis
Smalltalk.
Why? Just to prove to myself that it can be done.
Lots of fun with single parameter blocks that each take a block and return
a block.

Check out https://github.com/mvolkmann/Cuis-Smalltalk-LambdaCalculus.

-- 
R. Mark Volkmann
Object Computing, Inc.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.cuis.st/mailman/archives/cuis-dev/attachments/20250310/f942bcdc/attachment.htm>


More information about the Cuis-dev mailing list