agda

108 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
How to write a type signature with two parameters?
user_8554430
•
1
1
48
agda
Defining the head of a list with a proof object
user_2398380
•
1
1
47
agda
Do we have an easy way to see elaborated core terms in agda?
user_35844990
•
2
1
50
agda
Implementing map for trees in agda - termination checking problem
user_22013850
•
1
0
81
agda termination purely-functional functional-programming
Auto solve implicit arguments by a function in Agda?
user_88321330
•
2
1
61
agda
How do you use the Ring solver in Cubical Agda?
user_174056490
•
2
2
170
homotopy-type-theory cubical-type-theory solver agda
Parametric theorem implied by goal
user_75182620
•
3
1
77
cubical-type-theory parametric-polymorphism agda
Why does Agda require pattern matching here
user_78588820
•
4
1
157
agda
How do multiple rewrites expand into with?
user_171558410
•
2
0
80
plfa agda
List Set should be a sort, but it isn't
user_41832970
•
3
1
345
agda
Hot Questions