user_2928766
user_2928766
@user_2928766
0 reputation
0 answers
1 questions
About Me
// Hello, World !
Top Answers
  1. How to write a safe `length` function to a `Vec` in Agda?
    5 votes
Top Questions
  1. Trying to define a small language with redex
    2 votes
    1 answers