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

Лекция 10. Представления и конструкция with
Programming with Dependent Types in Idris

What: Lecture
When: Sunday, 19 February 2017, 15:30–17:00
Where: ПОМИ РАН

Description

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

Video