Zulip Chat Archive
Stream: graph theory
Topic: 3458
Kyle Miller (Aug 24 2020 at 22:37):
The #3458 PR might finally get in sometime soon. I figure it's better to get that in sooner than later since it's a reasonably solid basic simple graphs library that a number of people seem to have based some work on. I also figure that, wherever our experiments might lead us, it'll be a manageable amount of work updating things.
Jalex Stark (Aug 24 2020 at 23:16):
actually now it's only waiting for @Aaron Anderson to check that Kyle made the final edit request by Bryan, and then Aaron can hit bors r+
to kick it on the queue.
Kyle Miller (Aug 24 2020 at 23:59):
And it's in!
Last updated: Dec 20 2023 at 11:08 UTC