Tag agda - Это страница 13 - GeneraCodice

Как выучить Agda

https://www.generacodice.com/ru/articolo/1695660/как-выучить-agda

type-systems - theorem-proving - agda

Parametrized Inductive Types in Agda

https://www.generacodice.com/ru/articolo/1663971/parametrized-inductive-types-in-agda

gadt - agda

Propositional truncation of excluded middle

https://www.generacodice.com/ru/articolo/1615027/propositional-truncation-of-excluded-middle

agda - dependent-types - homotopy-type-theory - cubical-type-theory

cs.stackexchange

Proof that type does not have decidable equality in Agda

https://www.generacodice.com/ru/articolo/1611389/proof-that-type-does-not-have-decidable-equality-in-agda

agda - homotopy-type-theory - cubical-type-theory

cs.stackexchange

Why this pattern matching fails in Agda?

https://www.generacodice.com/ru/articolo/1603498/why-this-pattern-matching-fails-in-agda

unification - agda

cs.stackexchange

In Agda's GADT, is “parameterized” and “indexed” different semantically?

https://www.generacodice.com/ru/articolo/1603495/in-agda-s-gadt-is-parameterized-and-indexed-different-semantically

agda - inductive-datatypes

cs.stackexchange

What does it mean if we disable K-rule in Agda?

https://www.generacodice.com/ru/articolo/1603441/what-does-it-mean-if-we-disable-k-rule-in-agda

agda - proof-assistants

cs.stackexchange

Конгруэнтность гетерогенного равенства

https://www.generacodice.com/ru/articolo/1206859/конгруэнтность-гетерогенного-равенства

gadt - equality - proof - agda

Небезопасный принудительный и более эффективный код AGDA (-FTRUST-ME-IM-AGDA)

https://www.generacodice.com/ru/articolo/684100/небезопасный-принудительный-и-более-эффективный-код-agda-ftrust-me-im-agda

compiler-construction - haskell - agda

Показ (голова. Init) = голова в agda

https://www.generacodice.com/ru/articolo/680708/показ-голова-init-голова-в-agda

theorem-proving - agda

«
9
10
11
12
13
14
»

Результаты найдены: 135