[Мини-курс]: Программирование. Idris. Лекция 3

Мини-курс В.Н. Брагилевского: «Функциональное программирование с зависимыми типами на языке Idris» Язык программирования Idris — это современный я...