Top Answers

1. Why do Calculus of Construction based languages use Setoids so much?
   19 votes
2. How can I apply a rewrite to only one term?
   3 votes