...

понедельник, 22 мая 2017 г.

[Из песочницы] От зависимых типов к гомотопической теории типов на Scala + Shapeless + ProvingGround

Комментариев нет:

Отправить комментарий