Me: I wonder how's #ATS3 development going.
https://groups.google.com/u/1/g/ats-lang-users/c/z-QbPs7JWgg
Mastodon server of https://doma.dev.
https://groups.google.com/u/1/g/ats-lang-users/c/z-QbPs7JWgg