I still think Bubble Notation is a promising way to represent lambda terms, but this implementation is a bit dated.
Continue reading...
，更多细节参见一键获取谷歌浏览器下载
«Смотри, я ниже президента не собираюсь никуда идти», — подчеркнул боксер.
"It makes you feel a better person," he says.
Lambda puzzles challenge: https://bntre.github.io/visual-lambda/#workspace=puzzles