Can https://github.com/coq/coq/pull/12218 get some reviews? There are six teams that have reviews pending, and I'd especially like someone (@Hugo Herbelin ? someone else?) to take a look at the OCaml code modifying parsing / number notations, since I'm not very confident about it style-wise (I think it works fine though)
Jason Gross said:
Can https://github.com/coq/coq/pull/12218 get some reviews? There are six teams that have reviews pending, and I'd especially like someone (Hugo Herbelin ? someone else?) to take a look at the OCaml code modifying parsing / number notations, since I'm not very confident about it style-wise (I think it works fine though)
I'll try to do a review. Actually I started, but need more time, there is a lot of work in the PR.
Last updated: Oct 13 2024 at 01:02 UTC