Tag agda - This is page 9 - GeneraCodice

Implicit length arguments in fixed-length-vector-functions in Agda

https://www.generacodice.com/en/articolo/4949838/implicit-length-arguments-in-fixed-length-vector-functions-in-agda
  functional-programming  -  haskell  -  agda  -  dependent-type
StackOverflow StackOverflow

Agda Type-Checking and Commutativity / Associativity of +

https://www.generacodice.com/en/articolo/4938820/agda-type-checking-and-commutativity-associativity-of
  functional-programming  -  haskell  -  agda  -  dependent-type
StackOverflow StackOverflow

Why can't (Set -> Set) have type Set?

https://www.generacodice.com/en/articolo/4833944/why-can-t-set-set-have-type-set
  types  -  lambda-calculus  -  agda
StackOverflow StackOverflow

Types containing with/rewrite clauses in agda, or, how to use rewrite instead of subst?

https://www.generacodice.com/en/articolo/4817961/types-containing-with-rewrite-clauses-in-agda-or-how-to-use-rewrite-instead-of-subst
  agda
StackOverflow StackOverflow

Agda: parsing nested lists

https://www.generacodice.com/en/articolo/4781379/agda-parsing-nested-lists
  parsing  -  haskell  -  agda  -  dependent-type
StackOverflow StackOverflow

Agda: my code doesn't type check (how to get implicit arguments right?)

https://www.generacodice.com/en/articolo/4692283/agda-my-code-doesn-t-type-check-how-to-get-implicit-arguments-right
  haskell  -  agda  -  dependent-type
StackOverflow StackOverflow

Agda: parse a string with numbers

https://www.generacodice.com/en/articolo/4587179/agda-parse-a-string-with-numbers
  agda  -  dependent-type
StackOverflow StackOverflow

What is the combinatory logic equivalent of intuitionistic type theory?

https://www.generacodice.com/en/articolo/4495556/what-is-the-combinatory-logic-equivalent-of-intuitionistic-type-theory
  types  -  functional-programming  -  logic  -  haskell  -  agda
StackOverflow StackOverflow

Turning a <= b to suc a <= suc b

https://www.generacodice.com/en/articolo/4327264/turning-a-b-to-suc-a-suc-b
  equality  -  agda
StackOverflow StackOverflow

Avoiding extensionality postulate when defining non-unary functions over quotient types

https://www.generacodice.com/en/articolo/4254605/avoiding-extensionality-postulate-when-defining-non-unary-functions-over-quotient-types
  agda
StackOverflow StackOverflow
Results found: 135
scroll top