Top Questions

1. How do I check whether an agda term associated with a specific name relies on hole?
   3 votes

   1 answers
2. Is there simple way to extend simply typed lambda calculus with monad types?
   2 votes

   1 answers