AT
видимо логика тоже должна
Size: a a a
2021 March 10
AG
можно попытаться пройти по краю и учить универсальную алгебру вместо неё
AT
Бегущий по лезвию
AT
уже забыл то время, когда “транс” значило “трансформатор” для моего окружения
AG
через внутренние языки и прочую ловировщину зайти
AG
тогда возможно транс-проклятие не сработает
AT
E
Бегущий по лезвию
смешно
AG
начало прикольно выглядит, спс
там потом можно сделать еще один финт ушами и перескочить в графический синтаксис
AG
пресловутые пропы
AG
алекс кстати недавно просветил меня на тему того что в испахе довольно популярна ловировщина и maude в частности
Oℕ
@catostrophe ты придумал что-то про unused говно, которое на самом деле used в макросах?
AG
в принципе неудивительно, учитывая что один из основателей этой движухи - meseguer, испанец
AG
интересно занимается ли тут кто нибудь графическим синтаксисом
AT
алекс кстати недавно просветил меня на тему того что в испахе довольно популярна ловировщина и maude в частности
хах, не знал про популярность мод в испании
AG
мод кстати используют в качестве эдакого модел чекера на стероидах в индустрии
AG
это в качестве спойлера к железнодорожной серии :)
λ
@catostrophe ты придумал что-то про unused говно, которое на самом деле used в макросах?
Где