Habrahabr

[dmitin]

My post in Habrahabr blog (in Russian)
https://habrahabr.ru/post/329176/
From dependent types to Homotopy type theory in Scala + Shapeless + ProvingGround

#scala

Comments

[livejournal]

Здравствуйте! Ваша запись попала в топ-25 популярных записей LiveJournal для Украины. Подробнее о рейтинге читайте в Справке.