Октябрь ждать не будет, не стали ждать и мы! Зависимые типы и доказательства на октябрьском митапе функциональных программистов СПб. Не жди и ты: вся информация по ссылке.
October will not wait, we did not wait too! Dependent types and evidence at the October meeting of functional programmers in St. Petersburg. Don’t wait and you: all information on the link.
У записи 16 лайков,
6 репостов.
6 репостов.
Эту запись оставил(а) на своей стене Игнат Толчанов
