bravit/idris-cs-hse
«Функциональное программирование с зависимыми типами на языке Idris» — мини-курс на ФКН ВШЭ
Idris
Stargazers
- aixlar
- amiskov
- andiogenes
- andreyklFormal Land
- ayshvab
- bezik
- deflyKyiv, Ukraine
- dpwiz
- easimonenkoITMO University
- ekalinin
- esnekoLatvia
- Fenex@klavogonki-dev
- fukanchikVolgograd, Russia
- funsisRussian
- Fyzu@devexperts, @dxfeed
- int28h
- KompaneytsevEarth
- kozinaki
- kurnevskyThe woods
- ligurio
- molefrogOpen for projects
- nibeonUkraine
- nikolaev-dRussia, Moscow
- NitiveCSSSR
- nktknshn
- optozoraxAlmaty
- pallada-92
- potan
- rdbufMoscow, Russia
- taksenov
- toxyduckVK
- UncleGartToronto, Canada
- valmont2k
- vrfloppaHSE
- xamgore
- YBogomolov@epam