user_12685665
user_12685665
@user_12685665
0 reputation
0 answers
2 questions
About Me
// Hello, World !
Top Answers
Top Questions
  1. Why can't Haskell optimize this duplicate function call?
    6 votes
    1 answers
  2. How can i convince Idris that my function is covering?
    3 votes
    2 answers