Crafting formulas: Lambdas all the way down (text.marvinborner.de) | HN Screenshots

YHacker Newsscreenshots

Screenshot of text.marvinborner.de: Crafting formulas: Lambdas all the way down

First screen, captured 2 years ago.

Looks similar

Screenshot of hbr.github.io: Programming with Lambda Calculus

Programming with Lambda Calculus (hbr.github.io)

5 points by dargscisyhp 2 years ago | 0 comments

Screenshot of justine.lol: Lambda Calculus in 383 Bytes (2022)

Lambda Calculus in 383 Bytes (2022)(justine.lol)

298 points by MrBuddyCasino 1 year ago | 48 comments

Screenshot of text.marvinborner.de: Many Factorials in Lambda Calculus

Many Factorials in Lambda Calculus (text.marvinborner.de)

10 points by marvinborner 1 year ago | 2 comments

Screenshot of itsbehnam.com: It’s lambdas all the way down

It’s lambdas all the way down (itsbehnam.com)

105 points by behnamoh 3 years ago | 56 comments

Screenshot of text.marvinborner.de: De Bruijn Numerals

De Bruijn Numerals (text.marvinborner.de)

65 points by marvinborner 11 months ago | 7 comments

Screenshot of cruzgodar.com: Lambda Calculus – Animated Beta Reduction of Lambda Diagrams

Lambda Calculus – Animated Beta Reduction of Lambda Diagrams (cruzgodar.com)

128 points by perryprog 11 months ago | 8 comments