Публикации с тегом idris
Как развернуть односвязный список на собеседовании +146
Зависимые типы — будущее языков программирования +30
Как сделать ещё больше некорректных состояний ещё более невыразимыми +28
Паттерн Model-Update-View и зависимые типы +16
Шесть парадигм программирования, которые изменят ваш взгляд на код +32
Курсы Computer Science клуба, весна 2017 +29
