SpiceQA
Questions
Tags
Users
Badges
injective-function
2 Questions
Newest
Active
Unanswered
Frequent
More
Score
View
Card
Compact
How to prove that the type parameters of an Injective Type Family are Equivalent?
user_3884713
0
•
asked Oct 26, 2021
3
0
43
injective-function
type-families
dependent-type
haskell
Can I introduce sound constructor equivalence?
user_5947247
0
•
asked Mar 31, 2020
2
1
67
injective-function
coq
1
(current)
Hot Questions