SpiceQA
Questions
Tags
Users
Badges
idris
121 Questions
Newest
Active
Unanswered
Frequent
More
Score
View
Card
Compact
How do I convince the totality checker in Idris that I'm not using a variable?
user_83435
0
•
asked Mar 5, 2016
6
1
442
idris
Prev
Prev
9
10
11
12
13
(current)
Hot Questions