Vitaly Bragilevsky
Results
5
repositories owned by
Vitaly Bragilevsky
hid-examples
245
Stars
89
Forks
Watchers
Examples to accompany the book "Haskell in Depth"
idris-cs-hse
46
Stars
5
Forks
Watchers
«Функциональное программирование с зависимыми типами на языке Idris» — мини-курс на ФКН ВШЭ