totality

6 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
Idris totality check
user_45131880
•
2
1
51
totality idris2 idris
Can any additional axiom make Coq Turing complete?
user_35844990
•
3
1
177
type-theory totality coq termination turing-complete
Why does this 'with' block spoil the totality of this function?
user_4774760
•
2
1
140
totality idris termination
Coq can't compute a well-founded function on Z, but it works on nat
user_3042840
•
4
1
545
totality coq recursion
Cannot guess decreasing argument of fix for nested match in Coq
user_64229320
•
5
2
2888
totality coq functional-programming
Idris: totality check fails when trying to re-implement fromInteger for Nat
user_73187940
•
3
1
173
totality idris static-analysis recursion
  • 1
Hot Questions