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:

What syntax do you want to use?

e ::= x | \x1…xi -> e | e1 e2 | ( e )
e ::= x | fn x => e | e1 e2 | ( e )
e ::= x | (lambda (x) e) | (e1 e2)

Valid XHTML 1.0!