user_2048271
user_2048271
@user_2048271
0 reputation
0 answers
0 questions
About Me
// Hello, World !
Top Answers
  1. List of vector slices in Idris
    1 votes
Top Questions