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

Programming with Dependent Types in Idris


Описание появится позже

Course Offerings

Semester Branch
spring 2017 Saint Petersburg