Post #108
1.34K
Covalue Сегодня в 12:00 UTC (через 2.5 часа) планирую постримить разбор статьи о программировании на полиномиальных функторах.
Начинаем
- 🔥 7
CO Covalue @covalue · 886 subscribers - Jul 24, 2026Post #120
- Jul 21, 2026Следующая лекция по теориям типов (STLC и System T) пройдет в среду 5 августа, в то же вре…
- Jul 15, 2026Первая лекция через час, зум-ссылка в календаре.
- Jul 7, 2026Онлайн-курс «Современные теории типов» В среду 15 июля в 19:00 CEST/UTC+2 (20:00 MSK) в Ла…
- May 22, 2026Начинаем
- May 22, 2026Сегодня в 12:30 UTC (через ~2 часа) планирую постримить формализацию понятия рефлексивных…