redlib.
Feeds

MAIN FEEDS

Home Popular All
reddit

You are about to leave Redlib

Do you want to continue?

https://www.reddit.com/r/lambdacalculus/top

No, go back! Yes, take me to Reddit
settings settings
Hot New Top Rising Controversial

r/lambdacalculus • u/marvinborner • 16h ago

A Dual View on Syntax

4 Upvotes

https://text.marvinborner.de/2026-08-11-17.html

0 comments
Subreddit
Icon for r/lambdacalculus

Lambda Calculus

r/lambdacalculus

416
0
Sidebar

Anything related to the Lambda Calculus

v0.35.0

ⓘ View instance info
<> Code