bravit/idris-cs-hse
«Функциональное программирование с зависимыми типами на языке Idris» — мини-курс на ФКН ВШЭ
Idris
Issues
- 0
Лекция 2, опечатка в слайде.
#3 opened by vasiliyl - 1
Лекция 1: предложения
#2 opened by alexander-myltsev
«Функциональное программирование с зависимыми типами на языке Idris» — мини-курс на ФКН ВШЭ
Idris