标签agda - 这是页2 - GeneraCodice

Non trivial negation in agda

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

How to use nat properties in agda

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

Merge sort in agda

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

Applying rules in Agda

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

Agda type error

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

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

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

Using an equivalence in the context to force reduction

https://www.generacodice.com/cn/articolo/12187610/using-an-equivalence-in-the-context-to-force-reduction
  equivalence  -  proof  -  pattern-matching  -  reduction  -  agda
StackOverflow StackOverflow

Installing Agda on Mac OS X Mavericks

https://www.generacodice.com/cn/articolo/12186221/installing-agda-on-mac-os-x-mavericks
  emacs  -  haskell  -  agda  -  osx-mavericks
StackOverflow StackOverflow

Merge of sorted lists with sized types

https://www.generacodice.com/cn/articolo/12052802/merge-of-sorted-lists-with-sized-types
  merge  -  termination  -  sortedlist  -  agda
StackOverflow StackOverflow

Termination-checking of function over a trie

https://www.generacodice.com/cn/articolo/12006005/termination-checking-of-function-over-a-trie
  recursion  -  termination  -  trie  -  agda
StackOverflow StackOverflow
发现结果: 135
scroll top