العربية
italiano
english
français
española
中国
日本の
العربية
Deutsch
한국어
Português
Russian
مقالات كاملة
فئات
C#
PHP
PYTHON
JAVA
SQL SERVER
MYSQL
HTML
CSS
JQUERY
VUE
ReactJS
انت تكتب
المستعمل
تسجيل الدخول
تسجيل
استعادة كلمة السر
العلامات
علامات اللغة
Back-end
C#
PHP
JAVA
PYTHON
Database
Sql server
Mysql
Front-end
HTML
CSS
JQUERY
ANGULARJS
REACT
VUE.JS
علامة agda - هذه الصفحة 13 - GeneraCodice
كيفية تعلم AGDA
https://www.generacodice.com/ar/articolo/1695660/كيفية-تعلم-agda
type-systems
-
theorem-proving
-
agda
StackOverflow
Parametrized Inductive Types in Agda
https://www.generacodice.com/ar/articolo/1663971/parametrized-inductive-types-in-agda
gadt
-
agda
StackOverflow
Propositional truncation of excluded middle
https://www.generacodice.com/ar/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/ar/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/ar/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/ar/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/ar/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/ar/articolo/1206859/congruence-for-heterogenous-equality
gadt
-
equality
-
proof
-
agda
StackOverflow
إجبار غير آمن ورمز AGDA أكثر كفاءة (-FTRUST-ME-IM-AGDA)
https://www.generacodice.com/ar/articolo/684100/إجبار-غير-آمن-ورمز-agda-أكثر-كفاءة-ftrust-me-im-agda
compiler-construction
-
haskell
-
agda
StackOverflow
عرض (رأس. init) = رأس في أجدا
https://www.generacodice.com/ar/articolo/680708/عرض-رأس-init-رأس-في-أجدا
theorem-proving
-
agda
StackOverflow
«
9
10
11
12
13
14
»
العثور على نتائج: 135