Learning

Dave Keenan’s Lambda Calculus Visualizations

An interactive version of Dave Keenan’s 1996 diagrams for visualizing lambda calculus (dkeenan.com/Lambda), brought to life as a working artifact. Original visual notation by Dave Keenan.

Built by: N. E. Davis on X (opens in a new tab)@sigilante
Category: Learning
Posted on X: 29 Oct 2026
On X: 8.4K views · 248 likesOriginal post only. Snapshot 10 Nov 2026, refreshed daily.

Open the artifact View the post on X

← Back to the gallery

Related artifacts

Accounting Technician Exam SimulatorLearning. By RAYAN .. A practice exam in Arabic for Accounting Technician candidates, with questions modeled on the official exam so they can test themselves before the real one.
Margaret Hamilton Apollo Code WalkthroughLearning. By Marek Lutonský. An interactive walkthrough of a piece of the Apollo flight software written by Margaret Hamilton's team.
Arabic Letters ActivityLearning. By عبد الله السديري. An interactive activity for the letters of unit one of a children’s Arabic course: place each letter under its picture. The same post links a second activity for unit two. In Arabic.
Bosphore 1819Learning. By Cahid Arda. A 200-year-old French map of Istanbul made interactive, with every label shown in French, Ottoman and modern Turkish, with English translations. Made with Claude Opus 5.5.

All Learning artifacts →