https://github.com/edwinb/Idris2-SH Ура товарищи! idris, scheme, self-hosted, зависимые типы, функциональное программирование URL записи