теория типов.

Мета-теория связей 0.0.3

В прошлое первое апреля, как вы могли догадаться, мы пошутили. Пора это исправить, и теперь  всё серьёзно.TL;DR (too long; didn't read)В этой статье много букв, но её можно записать всего 4-мя символами теории множеств:

продолжить чтение