Play

Look at the Tromp diagram and type the λ-expression it represents.

Normal mode
Pick a mode to begin Score: 0 Best: —

Acceptable answers include the name of the combinator (e.g. I, K, plus) or any α-equivalent expression. Numerals can be answered with their digit (e.g. 2) or their full form.

progress is stored in this browser only — export to move it