В эту пятницу буду рассказывать про Агду и зависимые типы в ИТМО
https://www.meetup.com/St-Petersburg-LessWrong-Meetup/events/235089869/
https://www.meetup.com/St-Petersburg-LessWrong-Meetup/events/235089869/
В эту пятницу буду рассказывать про Агду и зависимые типы в ИТМО
https://www.meetup.com/St-Petersburg-LessWrong-Meetup/events/235089869/
https://www.meetup.com/St-Petersburg-LessWrong-Meetup/events/235089869/
У записи 8 лайков,
3 репостов.
3 репостов.
Эту запись оставил(а) на своей стене Валентин Немцев