Jacques Carette
Jacques Carette
I've now allowed edits. Sorry about that.
So it seems to pre-commit hook didn't like my changes to `.gitignore`. Are the rules to obey written down somewhere?
This one is ready for review @wenkokke .
It feels to me that we need to look more deeply into what `forRange` means (and ought to mean) to make the rendering in each language more transparent. I definitely...
#3998 should fix that, but I'm waiting for a review.
Hmm, finding what code puts out an extra set of `{}` might not be so easy! Normally they help and don't hinder -- except here. I'm quite sure that this...
`exactDbl` is an awful name. Some times we have an exact quantity, i.e. with no 'approximation' at all, that we nevertheless want to use seamlessly in a context where we...
I definitely think so. Breaking as it might be.
I've done some work already based on your gist... see my [Categorical Playground repo](https://github.com/JacquesCarette/Categorical-Playground/) where your code is in Categorical/Displayed and mine in 2Level/Category. Note that I'm not suggesting that...
Two things come to mind when I see this problem over things "over" equalities: 1. you're not being weak enough somewhere to that you are demanding a very particular proof...