Arthur Welf

А дайте плз отзывы о решениях "фронтенд на Хаскеле". Я вот смотрю сейчас на transient-haskell (axiom) и на miso (это, фактически, реализация Elm-архитектуры на Хаскелле). В ка...

А можно где-то расшарить домашние задания к вашим лекциям по Idris? (спасибо за них, кстати - очень интересные)

Не, этот курс не такой интересный, он читается для студентов, которым надо объяснять за функциональное программирование. Вот этот курс для тех, кому не надо азы объяснять. Но ...