Linking to freenode webchat seems like a good option: Kiwi IRC .
You could add an irc link irc://irc.freenode.net/#ocaml . On the discord side, I think @bluddy would know which link would the best to include.
1 Like