AT
по их дедлайну сегодня должны были визы дать
Будем надеяться, что на след. неделе будем в мск тусить
@clayrat сегодня на семинаре меня незаметно раскрутили на импровизированную лекцию по конкурентной сепарационке. хорошо, что мы семинары не пишем))
А всего-то хотел показать правила вывода для Хоаровской логики и swap с факториалом верифицировать))
