SpiceQA
Questions
Tags
Users
Badges
morte
1 Questions
Newest
Active
Unanswered
Frequent
More
Score
View
Card
Compact
`Refl` thing in Calculus of Constructions?
user_1172541
0
•
asked Mar 23, 2016
10
2
944
morte
dependent-type
equality
functional-programming
haskell
1
(current)
Hot Questions