Top Questions

1. What kind of knowledge or training is necessary for someone to write down the definition of foldlM like this?
   8 votes

   3 answers
2. List Set should be a sort, but it isn't
   3 votes

   1 answers
3. Why cannot define function of type 'Set -> Set' in Agda?
   2 votes

   1 answers