Tag agda - This is page 2 - GeneraCodice

Non trivial negation in agda

https://www.generacodice.com/en/articolo/12840607/non-trivial-negation-in-agda

  agda

StackOverflow

How to use nat properties in agda

https://www.generacodice.com/en/articolo/12645967/how-to-use-nat-properties-in-agda

  agda

StackOverflow

Merge sort in agda

https://www.generacodice.com/en/articolo/12577141/merge-sort-in-agda

  agda

StackOverflow

Applying rules in Agda

https://www.generacodice.com/en/articolo/12456836/applying-rules-in-agda

  agda

StackOverflow

Agda type error

https://www.generacodice.com/en/articolo/12432683/agda-type-error

  agda

StackOverflow

Are there propositions that can be proved in classical logic but not in Agda

https://www.generacodice.com/en/articolo/12265355/are-there-propositions-that-can-be-proved-in-classical-logic-but-not-in-agda

  logic  -  agda

StackOverflow

Using an equivalence in the context to force reduction

https://www.generacodice.com/en/articolo/12187610/using-an-equivalence-in-the-context-to-force-reduction

  equivalence  -  proof  -  pattern-matching  -  reduction  -  agda

StackOverflow

Installing Agda on Mac OS X Mavericks

https://www.generacodice.com/en/articolo/12186221/installing-agda-on-mac-os-x-mavericks

  emacs  -  haskell  -  agda  -  osx-mavericks

StackOverflow

Merge of sorted lists with sized types

https://www.generacodice.com/en/articolo/12052802/merge-of-sorted-lists-with-sized-types

  merge  -  termination  -  sortedlist  -  agda

StackOverflow

Termination-checking of function over a trie

https://www.generacodice.com/en/articolo/12006005/termination-checking-of-function-over-a-trie

  recursion  -  termination  -  trie  -  agda

StackOverflow

• «
• 1
• 2
• 3
• 4
• 5
• 6
• »

Results found: 135