Екатерина Графская (Редактор отдела «Наука и техника»)
Россиянам станет тяжелее снять наличные08:49
，这一点在夫子中也有详细论述
В КСИР выступили с жестким обращением к США и Израилю22:46
Cond[tb, tt, tf]
I still think Bubble Notation is a promising way to represent lambda terms, but this implementation is a bit dated.