AG
Size: a a a
2021 January 16
AG
у нас тут не так чтобы много кто его любит кроме Алекса щас :)
AG
митек его видеть не хочет, никита признает только ванильный без ссрефлекта, йоаким тоже вроде больше агду котирует
AG
разве что франта более менее норм
AT
Ага, гнездо разврата
AT
Иисус тулы все равно использует) Alloy например
AG
надо с ним скооперироваться насчёт этих мкасов
AG
он вроде харрисовский алгоритм копает, а я хочу более новый, епфльцами кстати придуманный
AT
Кстати, он магистерскую делал по ХоТТ
AG
пока одерски не видел так сказать
AT
пока одерски не видел так сказать
+
AG
Кстати, он магистерскую делал по ХоТТ
хесус?
AG
йоаким кажется пилил что-то на агде с нормализацией
AT
Кстати, он магистерскую делал по ХоТТ
Учил чистых математиков нормальной математике, так сказать
AT
йоаким кажется пилил что-то на агде с нормализацией
У него не попле статья была про формализацию ТТ в ТТ)
AG
хочу как нибудь разобраться с логрелами но все руки не доходят :)