Tag agda - Esta é a página 12 - GeneraCodice

Contexto avaliado insuficientemente dentro da cláusula `with`

https://www.generacodice.com/pt/articolo/2184104/contexto-avaliado-insuficientemente-dentro-da-clausula-with

proof - pattern-matching - agda

Agda como linguagem de programação [fechada]

https://www.generacodice.com/pt/articolo/2114105/agda-como-linguagem-de-programacao-fechada

documentation - agda

Agda, Boolean Proposição

https://www.generacodice.com/pt/articolo/2016374/agda-boolean-proposicao

haskell - agda

Por que os tipos de dados indutivos proíbem tipos como `data Bad a = C (Bad a -> a)` onde a recursão de tipo ocorre na frente de ->?

https://www.generacodice.com/pt/articolo/1976491/por-que-os-tipos-de-dados-indutivos-proibem-tipos-como-data-bad-a-c-bad-a-a-onde-a-recursao-de-tipo-ocorre-na-frente-de

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

Como usar pares dependentes

https://www.generacodice.com/pt/articolo/1891510/como-usar-pares-dependentes

agda - dependent-type

Differences between Agda and Idris

https://www.generacodice.com/pt/articolo/1701849/differences-between-agda-and-idris

type-theory - agda - idris

Como aprender Agda

https://www.generacodice.com/pt/articolo/1695660/como-aprender-agda

type-systems - theorem-proving - agda

Parametrized Inductive Types in Agda

https://www.generacodice.com/pt/articolo/1663971/parametrized-inductive-types-in-agda

gadt - agda

Propositional truncation of excluded middle

https://www.generacodice.com/pt/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/pt/articolo/1611389/proof-that-type-does-not-have-decidable-equality-in-agda

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

cs.stackexchange

«
9
10
11
12
13
14
»

Resultados encontrados: 135