3395: QPF

Stream: PR reviews

[Yury G. Kudryashov]

I see that nobody reviews #3395. I hope that this is not because I left a few comments and now people think that I'm going to review it. This PR is far away from analysis, and my comments were about docstrings. In particular, after my comments @Simon Hudon rewrote the module docstring to make it clear for people like me that this is not for us.

[Scott Morrison]

Can @Mario Carneiro and/or @Jeremy Avigad review it? I don't think we're particularly worried about CoI. :-)

[Rob Lewis]

@Gabriel Ebner was working on this series but he's on vacation for the next week.

[Jeremy Avigad]

I'll review it tomorrow.