标签agda - 这是页1 - GeneraCodice

Pair equality in agda

https://www.generacodice.com/cn/articolo/13647880/pair-equality-in-agda

agda

Do I need heterogeneous equality?

https://www.generacodice.com/cn/articolo/13623439/do-i-need-heterogeneous-equality

equality - proof - agda - heterogeneous - dependent-type

Proof in Agda and how to evaluate list based function in C-c C-n

https://www.generacodice.com/cn/articolo/13419970/proof-in-agda-and-how-to-evaluate-list-based-function-in-c-c-c-n

agda

Assisting Agda's termination checker to make a recursive function

https://www.generacodice.com/cn/articolo/13415917/assisting-agda-s-termination-checker-to-make-a-recursive-function

recursion - termination - agda

Agda : Ambiguous name _==_. It could refer to any one of

https://www.generacodice.com/cn/articolo/13408318/agda-ambiguous-name-it-could-refer-to-any-one-of

agda

Why is typecase a bad thing? [closed]

https://www.generacodice.com/cn/articolo/13312705/why-is-typecase-a-bad-thing-closed

agda - dependent-type - idris

Had a verified SSL/TLS implementation in a 'safe language' would it still have been vulnerable be to the heartbleed attack? [closed]

https://www.generacodice.com/cn/articolo/13198198/had-a-verified-ssl-tls-implementation-in-a-safe-language-would-it-still-have-been-vulnerable-be-to-the-heartbleed-attack-closed

ssl - haskell - coq - agda - idris

How to use Prop from UTT in Agda

https://www.generacodice.com/cn/articolo/12977209/how-to-use-prop-from-utt-in-agda

agda - dependent-type

Functional reasoning

https://www.generacodice.com/cn/articolo/12919309/functional-reasoning

agda

Non trivial negation in agda

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

agda

«
1
2
3
4
5
6
»

发现结果: 135