ФиззБазз ΟΕΔ. Практическое введение в формальную верификацию на зависимых типах Idris 2 +4

• 13.09.2025 19:30
• knight_of_calculus
• 1

• Блог компании Страховой Дом ВСК
• Функциональное программирование
• Ненормальное программирование