@ionchy my first paper interrogating distance metrics was repeatedly rejected; i would wager more that reviewers are deeply biased against dependent types
@hipsterelectron I think a lot of the type theory people just are very particular about how to do dependent types and if you don't do it the way they want you to then they 👎
@ionchy@koronkebitch I agree. The other reviewers can see it, but I feel like the authors should be able to as well. I write a different response for a grumpy expert than for an outsider who didn't understand something.