Lucas Champollion, Josh Tauberer, Maribel Romero, and Dylan Bumford

Free
An app to help students practice derivations in the typed lambda calculus.