agda

1
ответов

7

Как реализовать алгоритм зайца и черепахи Флойда в Agda?

agda floyd-cycle-finding functional-programming haskell theorem-proving

2
ответов

10

Agda-подобное программирование в Coq / Proof General?

agda coq coqide dependent-type proof-general

1
ответов

34

Зачем нам контейнеры?

agda dependent-type generic-programming haskell type-theory

6
ответов

39

Зависимые типы: как зависимые пары типа аналог непересекающемся множестве?

agda curry-howard dependent-type haskell idris

2
ответов

143

Различия между Агда и Идрис

agda idris type-theory