علامة agda - هذه الصفحة 11 - GeneraCodice

Parametrized Inductive Types in Agda

https://www.generacodice.com/ar/articolo/3646507/parametrized-inductive-types-in-agda

gadt - agda

A definition for finite sets in Agda

https://www.generacodice.com/ar/articolo/2842615/a-definition-for-finite-sets-in-agda

agda

Interpreting a proof of $2^\mathbb{N}$ being uncountable

https://www.generacodice.com/ar/articolo/2479573/interpreting-a-proof-of-2-mathbb-n-being-uncountable

formal-methods - type-theory - agda

cs.stackexchange

ما المخططات الاستقرائية التي يمكنها تشفير تعريف أجدا التالي؟

https://www.generacodice.com/ar/articolo/2452322/ما-المخططات-الاستقرائية-التي-يمكنها-تشفير-تعريف-أجدا-التالي

agda - induction

cs.stackexchange

Termination-checking substitution via (monadic) join and fmap

https://www.generacodice.com/ar/articolo/2260823/termination-checking-substitution-via-monadic-join-and-fmap

monads - termination - substitution - agda

Recommended convention for declaring record types for algebraic structures

https://www.generacodice.com/ar/articolo/2185795/recommended-convention-for-declaring-record-types-for-algebraic-structures

inheritance - record - agda

لم يتم تقييم السياق بشكل كافٍ داخل جملة `مع`

https://www.generacodice.com/ar/articolo/2184104/لم-يتم-تقييم-السياق-بشكل-كاف-داخل-جملة-مع

proof - pattern-matching - agda

أجدا كلغة برمجة [مغلق]

https://www.generacodice.com/ar/articolo/2114105/أجدا-كلغة-برمجة-مغلق

documentation - agda

أجدا، اقتراح منطقي

https://www.generacodice.com/ar/articolo/2016374/أجدا-اقتراح-منطقي

haskell - agda

لماذا أنواع البيانات الاستقرائي تمنع أنواع مثل 'البيانات سيئة أ = ج (سيئة أ - > أ)' حيث يحدث نوع العودية أمام ->?

https://www.generacodice.com/ar/articolo/1976491/لماذا-أنواع-البيانات-الاستقرائي-تمنع-أنواع-مثل-البيانات-سيئة-أ-ج-سيئة-أ-أ-حيث-يحدث-نوع-العودية-أمام

haskell - algebraic-data-types - y-combinator - agda - recursive-datastructures

«
8
9
10
11
12
13
»

العثور على نتائج: 135