SpiceQA
Questions
Tags
Users
Badges
user_86604
@user_86604
0
reputation
0
answers
6
questions
About Me
// Hello, World !
Top Answers
Duplicate / Copy records in the same MySQL table
13 votes
Printing out unicode from Java code issue in windows console
6 votes
What is the difference between a "function" and a "procedure"?
5 votes
Why functional languages?
2 votes
Sort a list of tuples by their second element without higher order functions or recursion
2 votes
Top Questions
Why do I get double references when filtering a Vec?
7 votes
1 answers
Is there an easier way to make enum constants visible?
4 votes
1 answers
Is there a tactic for solving such trivial goals (lean theorem proving)?
3 votes
1 answers
inverse of EnumConstant as u32
3 votes
2 answers
turn proofs for nat into proofs for non-negative ints
3 votes
1 answers