Top Questions

1. Can we do 4-sum algorithm in O(n^2)?
   4 votes

   1 answers
2. Why does universe level restriction behave differently between inductive family and parameterized inductive type without axiom K in agda
   3 votes

   0 answers