Программирование с зависимыми типами на языке Idris. Лекция 6
ЛекцияПредмет:
- Computer Science
Лектор:
Курс лекций:
Дата записи:
18.02.17
Дата публикации:
03.03.17
Код для блога:
Выражение отношений на данных средствами зависимых типов
Страница лекции на Computer Science Club
Другие лекции курса
9