SpiceQA
Questions
Tags
Users
Badges
user_2948250
@user_2948250
0
reputation
0
answers
0
questions
About Me
// Hello, World !
Top Answers
Purpose of anonymous modules in Agda
6 votes
Data.AVL.map that changes value type
4 votes
Is this the right way to use HeterogeneousEquality in Agda?
1 votes
Top Questions
