This is a SLC(Symmetric Lambda Calculus) interpreter.
Enter your SLC expression in the input box at the bottom, and click the button at the right or hit Shift+Enter / Ctrl+Enter to evaluate.
The SLC and its implementation are based on the a paper "Declarative Continuations and Categorical Duality" (Filinski 1989).
For more information of the SLC, please read it.