"Chat" link on apalache-mc.org

General
1

Shouldn’t it link here instead of Informal’s Zulip?

2 Likes
2

Good point, just fixed it.
Thanks for reporting!

1 Like