構文的にはラムダの適用順序が意味との写像を成す訳で…
つまり、意味と構文は随伴…
Mathtodon is a Mastodon instance, where you can post toots with beautiful mathematical formulae in TeX/LaTeX style.
