agda

108 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
Installation error Agda: unrecognized option `x'
user_100495920
•
2
0
146
agda cabal installation haskell
Why is '\SO' behaving differently from the other escape codes in Agda?
user_134335490
•
4
1
57
agda special-characters ascii escaping
Why does universe level restriction behave differently between inductive family and parameterized inductive type without axiom K in agda
user_28587150
•
3
0
84
homotopy-type-theory dependent-type agda programming-languages types
Why do Calculus of Construction based languages use Setoids so much?
user_3960790
•
13
3
1136
lean coq agda
corecursive Agda functions without sized types
user_147442690
•
3
0
98
coinduction agda termination
Automatically identifying functions that can be parametrically polymorphic
user_16040150
•
3
0
69
agda polymorphism haskell types
Increment binary value type by one
user_79449780
•
2
2
345
agda recursion binary
Debugging constraint satisfaction errors in Agda with CFG example
Admin1
•
2
1
111
agda context-free-grammar
What are the rules for custom syntax declarations in Agda?
user_22886590
•
3
1
99
agda syntax
How to encode via W-types in agda?
Admin1
•
2
1
161
induction agda functional-programming types
Hot Questions