Computer Science Club

City: Test Saint Petersburg Novosibirsk Kazan Language: Русский English

Лекция 3. Типы данных и ввод-вывод
Programming with Dependent Types in Idris

What:	Lecture
When:	Sunday, 12 February 2017, 11:15–12:45
Where:	ПОМИ РАН
Slides:	idrisprogramming_lecture_120217.pdf