№ 027
Servant 0.5, зависимые типы и воркшопы

Участвовали:

Обсуждали:

  1. Special runtime representation of [] type?
  2. Опять нытье про зависимые типы.
  3. servant 0.5 released.
  4. 1st Workshop on Type-Driven Development (TyDe ‘16).