Explore the intersection of mathematical theory and practical computer science through interactive demonstrations and visual learning.
Interactive editor for writing and testing lambda expressions with step-by-step reductions
Explore Y, S, K, I and other combinators with visual graph representation
Instantly verify type signatures of your lambda expressions