Tag agda - Dies ist Seite 11 - GeneraCodice

Parametrized Inductive Types in Agda

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

  gadt  -  agda

StackOverflow

A definition for finite sets in Agda

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

  agda

StackOverflow

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

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

  formal-methods  -  type-theory  -  agda

cs.stackexchange

Welche induktiven Schemata können die folgende Agda-Definition kodieren?

https://www.generacodice.com/de/articolo/2452322/welche-induktiven-schemata-koennen-die-folgende-agda-definition-kodieren

  agda  -  induction

cs.stackexchange

Termination-checking substitution via (monadic) join and fmap

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

  monads  -  termination  -  substitution  -  agda

StackOverflow

Recommended convention for declaring record types for algebraic structures

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

  inheritance  -  record  -  agda

StackOverflow

Unzureichend bewerteter Kontext innerhalb der 'with'-Klausel

https://www.generacodice.com/de/articolo/2184104/unzureichend-bewerteter-kontext-innerhalb-der-with-klausel

  proof  -  pattern-matching  -  agda

StackOverflow

Agda als Programmiersprache [geschlossen]

https://www.generacodice.com/de/articolo/2114105/agda-als-programmiersprache-geschlossen

  documentation  -  agda

StackOverflow

Agda, Boolescher Satz

https://www.generacodice.com/de/articolo/2016374/agda-boolescher-satz

  haskell  -  agda

StackOverflow

Warum verbieten induktive Datentypen Typen wie 'data Bad a = C (Bad a -> a)`, bei denen die Typrekursion vor -> auftritt?

https://www.generacodice.com/de/articolo/1976491/warum-verbieten-induktive-datentypen-typen-wie-data-bad-a-c-bad-a-a-bei-denen-die-typrekursion-vor-auftritt

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

StackOverflow

• «
• 8
• 9
• 10
• 11
• 12
• 13
• »

Gefundene Ergebnisse: 135