1ответов 12 Доказательство коммутативности сложения натуральных чисел на уровне типа dependent-type haskell type-theory