user_4453951
user_4453951
@user_4453951
0 reputation
0 answers
11 questions
About Me
// Hello, World !
Top Answers
Top Questions
  1. Pattern matching on Type in Idris
    5 votes
    1 answers
  2. Create a zero length vector
    3 votes
    1 answers
  3. How to define type synonyms of int, float etc. for various roles in F#?
    3 votes
    1 answers
  4. Difference between similar MiniZinc constraints
    2 votes
    2 answers
  5. Why the odd-even cases differ?
    2 votes
    1 answers