В программе:
- Генерация некоторых пруф-термов на coq-elpi и рекурсивные инстансы тайпклассов на coq для гетерогенных коллекций (Андрей Ляшин)
- Он нам [не особо] нужон ORM ваш или как мы написали dsql (Артём Алексеев)
- Демонстрация применения fp-ts совместно с React в простых примерах (Сергей Гулин)
Санкт-Петербург
пр. Кима, 6, 4 этаж, оф. 423 (Health Samurai)
Показать на карте
Уже есть билет
Восстановить
Напоминаем, что для того чтобы восстановить билет организатору можно не писать.
Если вы хотите вернуть билеты, вы можете сделать это по ссылке из письма с билетами или оформить запрос организатору в вашем личном кабинете.