user_3040064 - SpiceQA

Questions Tags Users Badges

user_3040064

@user_3040064

0 reputation

0 answers

3 questions

About Me

// Hello, World !

Top Answers

Add Outlook Calendar to Gnome Calendar Ubuntu 20.10
13 votes
Maybe coalescing operator
3 votes
Finding n'th generation in the sequence 1 / 1 1 / 2 1 / 1 2 1 1
1 votes

Top Questions

GHC 7.10 generates slower code than older versions
19 votes
1 answers
How can I split a list in half in coq?
3 votes
3 answers
Optimization generate super long function definition
2 votes
1 answers