agda

108 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
How to write a safe `length` function to a `Vec` in Agda?
user_70834010
•
3
2
142
dependent-type agda
How to deploy an Agda library on Travis CI?
user_70834010
•
4
1
113
travis-ci agda
How do I check whether an agda term associated with a specific name relies on hole?
user_89108180
•
3
1
310
agda-mode agda emacs
How to use type instances in Agda?
user_70834010
•
4
1
89
agda
How to inspect the value inside a product (Σ)?
user_21106230
•
4
1
94
agda
Dependent type involving nat addition
user_36495720
•
3
2
91
dependent-type agda
Keeping track of "state" when writing equality proofs that are long chains of transitively linked steps
user_4774760
•
3
1
107
equational-reasoning idris agda proof
Can Idris infer indices in types of top-level constants?
user_4774760
•
7
1
192
idris agda type-inference
Mutually recursive proofs
user_36495720
•
3
0
118
agda lambda-calculus
How to disambiguate clashing constructor names
user_8321760
•
3
1
76
agda
Hot Questions