- Select the function to apply from the green pull-down menu on the left.
- Enter the term (lambda term, partial involution or type) in the first text area.
- Click the red "Compute" button on the left.
- The result or error message will appear in the second text area.
Select an expression from the above list: it will be automatically copied in the first text area.
F. Honsell, M. Lenisa and I. Scagnetto.
Λ-symsym: an interactive Tool for playing with Involutions and Types.
In TYPES 2020 Post-proceedings.