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: May 02 2025 at 03:31 UTC