user_3550444
user_3550444
@user_3550444
0 reputation
0 answers
2 questions
About Me
// Hello, World !
Top Answers
Top Questions
  1. Haskell Deriving Mechanism for Agda
    7 votes
    2 answers
  2. Realising level polymorphic subsets within records
    3 votes
    1 answers