e-graphs zulip #193
mwillsey
announced in
Announcement
e-graphs zulip
#193
Replies: 0 comments
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
-
Hello everyone!
@philzook58 has started a Zulip chat for folks interested in a more synchronous discussion format.
https://egraphs.zulipchat.com/
Beta Was this translation helpful? Give feedback.
All reactions