Lambda Calculus Visualization One Plus One Is Two

This

ERRATA: • The "Church-Turing Thesis" is different from the "Church-Turing Theorem". The "theorem" is the claim which I ...

The

Graphical notation invented by John Tromp (https://tromp.github.io/cl/diagrams.html). Code at ...

The basis of almost all functional programming, Professor Graham Hutton explains

What does this have to do with

This

In this video, we will talk about alpha equivalence, alpha conversion,

We introduce

CONTENT This video is part of the playlist "

This is a screen recording of a

In this video we discuss the way in which you can evaluate a

Functions are an extremely useful part of programming, but it turns out that they're all you need to calculate anything. No data ...

Stephen reads a recent blog from https://writings.stephenwolfram.com

CONTENT This video is part of the playlist "

TRUTTLE1 DISCORD: https://discord.com/invite/EKPBjjUc65 (It's now called the Bale of Esoturtles because why not.) Have you ...

Animated version of Bret Victor's Alligator Egg

In the