λ-term gallery
Graph display powerered by Cytoscape.js
Type a term t and an environment Γ below!
Example: (λx. λy. x y) a b t = (\x. \y. x y) a b Γ = a b
t = Γ =
Define an alias = Define
Bulk define aliases Clear all