SpiceQA
Questions
Tags
Users
Badges
agda
agda
2 Questions
Newest
Active
Unanswered
Frequent
More
Score
View
Card
Compact
Proof that Vec ++ [] == Vec?
Phoebe Goldman
0
•
asked Sep 25, 2022
-1
0
15
agda
Why does cubical agda choose the particular two component homogeneous path composition operator it does?
Eric Dobson
0
•
asked Sep 11, 2022
3
0
24
cubical-type-theory
homotopy-type-theory
agda
1
(current)
Hot Questions