Deutsch
italiano
english
français
española
中国
日本の
العربية
Deutsch
한국어
Português
Russian
Vollständige Artikel
Kategorien
C#
PHP
PYTHON
JAVA
SQL SERVER
MYSQL
HTML
CSS
JQUERY
VUE
ReactJS
Du schreibst
Benutzer
Anmeldung
Anmeldung
Passwort-Wiederherstellung
Stichworte
Sprachtags
Back-end
C#
PHP
JAVA
PYTHON
Database
Sql server
Mysql
Front-end
HTML
CSS
JQUERY
ANGULARJS
REACT
VUE.JS
Tag agda - Dies ist Seite 13 - GeneraCodice
Wie lerne ich Agda?
https://www.generacodice.com/de/articolo/1695660/wie-lerne-ich-agda
type-systems
-
theorem-proving
-
agda
StackOverflow
Parametrized Inductive Types in Agda
https://www.generacodice.com/de/articolo/1663971/parametrized-inductive-types-in-agda
gadt
-
agda
StackOverflow
Propositional truncation of excluded middle
https://www.generacodice.com/de/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/de/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/de/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/de/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/de/articolo/1603441/what-does-it-mean-if-we-disable-k-rule-in-agda
agda
-
proof-assistants
cs.stackexchange
Kongruenz für die heterogene Gleichheit
https://www.generacodice.com/de/articolo/1206859/kongruenz-fuer-die-heterogene-gleichheit
gadt
-
equality
-
proof
-
agda
StackOverflow
Unsichere coerce und effizienter Agda Code (-ftrust-me-im-agda)
https://www.generacodice.com/de/articolo/684100/unsichere-coerce-und-effizienter-agda-code-ftrust-me-im-agda
compiler-construction
-
haskell
-
agda
StackOverflow
Zeige (Kopf. Init) = Kopf in Agda
https://www.generacodice.com/de/articolo/680708/zeige-kopf-init-kopf-in-agda
theorem-proving
-
agda
StackOverflow
«
9
10
11
12
13
14
»
Gefundene Ergebnisse: 135