Программирование с зависимыми типами на языке Idris. Лекция 1

Партнёр:

Предмет:

Лектор:Виталий Брагилевский

Курс лекций: Программирование с зависимыми типами на языке Idris

Авторизация
*
*
Регистрация
*
*
*
Генерация пароля