user_13177921
user_13177921
@user_13177921
0 reputation
0 answers
3 questions
About Me
// Hello, World !
Top Answers
Top Questions
  1. Is (a=1)=2 undefined behaviour in C++98?
    5 votes
    1 answers
  2. Does IPython support ctypes?
    5 votes
    1 answers
  3. In Agda, how to prove properties about matched patterns in with-abstractions?
    2 votes
    1 answers