[HN Gopher] John's Lambda Calculus and Combinatory Logic Playground
___________________________________________________________________
John's Lambda Calculus and Combinatory Logic Playground
Author : mmphosis
Score : 27 points
Date : 2023-03-12 20:29 UTC (2 hours ago)
(HTM) web link (tromp.github.io)
(TXT) w3m dump (tromp.github.io)
| tromp wrote:
| I happen to be preparing an upcoming talk about this on Pi day
| [1]. Happy to answer any questions!
|
| [1] https://www.meetup.com/lispnyc/events/290789901/
| Y_Y wrote:
| Before I spend a big pile of CPU time trying to find a shorter
| BLC self-interpreter, why won't it work?
| tromp wrote:
| It might just work, if you find a smarter approach than I
| did.
|
| Will buy you a dozen beer if you succeed!
| [deleted]
___________________________________________________________________
(page generated 2023-03-12 23:00 UTC)