System E Experimentation Tool

Note: some features of this tool only work with recent versions of Mozilla-based web browsers.

Some documentation is available here.

Please enter a term:
(\ x -> x x) (\ y -> y)

What syntax do you want to use?

Haskell	e	::=	`x` \| `\x₁…x_i ->` e \| e₁ e₂ \| `(` e `)`
SML	e	::=	`x` \| `fn x =>` e \| e₁ e₂ \| `(` e `)`
Scheme	e	::=	`x` \| `(lambda (x)` e`)` \| `(`e₁ e₂`)`