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

• 13.09.2025 19:30
• knight_of_calculus
• 0

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