SpiceQA
Questions
Tags
Users
Badges
user_1040785
@user_1040785
0
reputation
0
answers
0
questions
About Me
// Hello, World !
Top Answers
Idris dependent records with interface constraint on Type Constructor parameter
2 votes
Why does Idris think a prefix of an identifier is a keyword?
0 votes
Top Questions
