Lambdo
Happy New Year!
Use standard environment
Challenges
Disabled
Introduction to Lambda Calculus
Arithmetic
Show paper options
Save Program
Editor
Results
Press
\
to insert λ.