Brutal [Meta]Introduction to Dependent Types in Agda

[deni_ok]

 Ян 

oxij  написал Жёсткое введение в зависимые типы на Агде. Не могу не пропиарить. Открывайте и изучайте, свиньи вы эдакие (кроме, конечно, девушек) (c) r_l

UPD: обсуждение в Твиттере

Originally posted at http://deniok.dreamwidth.org/48574.html. Feel free to comment here or there.