SpiceQA
Questions
Tags
Users
Badges
user_4595904
@user_4595904
0
reputation
0
answers
0
questions
About Me
// Hello, World !
Top Answers
Explanation of quicksort in APL
4 votes
Is it possible to bind necessarily different terms in Ltac-match?
4 votes
Semantics of APL dot operator?
2 votes
Top Questions
