lambda. Simply typed lambda calculus demo for Lambda Jam 2014

github.com/runarorama/lambda
by @runarorama

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.