Zulip Chat Archive
Stream: std4
Topic: std4#399
Scott Morrison (Dec 20 2023 at 02:14):
Could I ping on std4#399, "run List (MetaM x) asynchronously, returning an MLList MetaM x in the order they return"?
It is a prerequisite for the hint tactic PR's as std4#395, which I would really like to get out into users' hands.
Last updated: Dec 20 2023 at 11:08 UTC