!4#2898 propose

Stream: PR reviews

[Scott Morrison]

@Jeremy Tan, could I request you don't mark meta PRs as "approved" for now? I think it is better if this is only done by reviewers with experience contributing meta code, and otherwise is a distraction.

This is not at all to say you shouldn't learn to do this! There are lots of great metaprogramming projects out there, and I'd be happy to review PRs (and thereafter for you to review others' meta PRs, too).

[Jeremy Tan]

Right

[Scott Morrison]

Could I please ask someone to take a look at this? It's a PR with a new tactic propose, which is the forwards-reasoning analogue of library_search.

(It's been sitting on the queue for a month now.)