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