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?