Tag agda - Esta é a página 13 - GeneraCodice

Como aprender Agda

https://www.generacodice.com/pt/articolo/1695660/como-aprender-agda

type-systems - theorem-proving - agda

Parametrized Inductive Types in Agda

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

gadt - agda

Propositional truncation of excluded middle

https://www.generacodice.com/pt/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/pt/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/pt/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/pt/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/pt/articolo/1603441/what-does-it-mean-if-we-disable-k-rule-in-agda

agda - proof-assistants

cs.stackexchange

Congruence for heterogenous equality

https://www.generacodice.com/pt/articolo/1206859/congruence-for-heterogenous-equality

gadt - equality - proof - agda

Coerção insegura e código AGDA mais eficiente (-ftrust-me-im-agda)

https://www.generacodice.com/pt/articolo/684100/coercao-insegura-e-codigo-agda-mais-eficiente-ftrust-me-im-agda

compiler-construction - haskell - agda

Mostrando (cabeça. Init) = cabeça em AGDA

https://www.generacodice.com/pt/articolo/680708/mostrando-cabeca-init-cabeca-em-agda

theorem-proving - agda

«
9
10
11
12
13
14
»

Resultados encontrados: 135