1 / 16 Settings
<<<>>>

  1. (
  2. (
  3. z
  5. λx.
  6. λy.
  7. z
  8. )
  10. (
  11. x
  13. y
  14. )
  15. )
The root node of the parse tree for any
λ expression is always the non-terminal <λexp>.
Created with Raphaël 2.1.2
<λexp>
Proficient Saving... Error Saving
Server Error
Resubmit