← Back to context Comment by dependenttypes 5 years ago more upvotes -> highermore time passed, more comments -> lower 1 comment dependenttypes Reply amgreg 5 years ago So comments actually work against it?
So comments actually work against it?