Top Questions

1. What instance of `Num` is used with literals e.g. in `print 1`?
   4 votes

   3 answers
2. Agda: How to check the type even when file doesn't typecheck yet?
   2 votes

   0 answers