Stream: Coq devs & plugin devs

Topic: Reviews for non-inductive number/string notation PR?


view this post on Zulip Jason Gross (Oct 20 2020 at 22:04):

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)

view this post on Zulip Hugo Herbelin (Oct 21 2020 at 13:58):

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