Tag agda - Ceci est la page 13 - GeneraCodice

Comment apprendre Agda

https://www.generacodice.com/fr/articolo/1695660/comment-apprendre-agda

type-systems - theorem-proving - agda

Types inductifs paramétrés dans Agda

https://www.generacodice.com/fr/articolo/1663971/types-inductifs-parametres-dans-agda

gadt - agda

Troncature propositionnelle du milieu exclu

https://www.generacodice.com/fr/articolo/1615027/troncature-propositionnelle-du-milieu-exclu

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

cs.stackexchange

Preuve que le type n'a pas d'égalité décideable dans Agda

https://www.generacodice.com/fr/articolo/1611389/preuve-que-le-type-n-a-pas-d-egalite-decideable-dans-agda

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

cs.stackexchange

Pourquoi cette correspondance de modèle échoue dans Agda?

https://www.generacodice.com/fr/articolo/1603498/pourquoi-cette-correspondance-de-modele-echoue-dans-agda

unification - agda

cs.stackexchange

Dans le GADT d'Agda, est «paramétré» et «indexé» différents sémantiquement?

https://www.generacodice.com/fr/articolo/1603495/dans-le-gadt-d-agda-est-parametre-et-indexe-differents-semantiquement

agda - inductive-datatypes

cs.stackexchange

Qu'est-ce que cela signifie si nous désactivons K-Rule dans Agda?

https://www.generacodice.com/fr/articolo/1603441/qu-est-ce-que-cela-signifie-si-nous-desactivons-k-rule-dans-agda

agda - proof-assistants

cs.stackexchange

Congruence pour l'égalité hétérogène

https://www.generacodice.com/fr/articolo/1206859/congruence-pour-l-egalite-heterogene

gadt - equality - proof - agda

coerce non sécuritaire et le code Agda plus efficace (-ftrust-me-im-agda)

https://www.generacodice.com/fr/articolo/684100/coerce-non-securitaire-et-le-code-agda-plus-efficace-ftrust-me-im-agda

compiler-construction - haskell - agda

Affichage (tête. Init) = tête en Agda

https://www.generacodice.com/fr/articolo/680708/affichage-tete-init-tete-en-agda

theorem-proving - agda

«
9
10
11
12
13
14
»

Résultats trouvés: 135