2ответов 7 Haskell: указание ограничений равной длины списков в системе типов dependent-type haskell list type-systems
2ответов 10 Agda-подобное программирование в Coq / Proof General? agda coq coqide dependent-type proof-general
1ответов 12 Доказательство коммутативности сложения натуральных чисел на уровне типа dependent-type haskell type-theory
1ответов 13 Доказательство ассоциативности сложения натуральных чисел c использованием бесформенного Scala dependent-type proof scala shapeless
2ответов 27 Разница между Haskell и Idris: отражение среды выполнения / Compiletime в юниверсах типов dependent-type haskell idris type-level-computation
6ответов 39 Зависимые типы: как зависимые пары типа аналог непересекающемся множестве? agda curry-howard dependent-type haskell idris