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: Aug 03 2023 at 10:10 UTC