Gregory's ServerWhat I would give to see smullyan's take on interaction nets. :mocking:
 3 comments
@maxime_andre he wrote To Mock A Mockingbird, a very excellent puzzle book that introduces combinatory logic using birds. |
|
3 comments
@maxime_andre he wrote To Mock A Mockingbird, a very excellent puzzle book that introduces combinatory logic using birds. |
@neauoire who is smullyan ? 👀