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

Лекция 7. Доказательство теорем
Programming with Dependent Types in Idris

What: Lecture
When: Saturday, 18 February 2017, 19:15–20:50
Where: ПОМИ РАН

Description

Слайды к этой лекции объединены со слайдами к лекции 6.

Video