↓ Skip to main content
Cover image

e ::= x ∣ λx.e ∣ ee

✉️