The Idris discord is interesting, very much has a more formal and academic community than most programming servers, but doesn’t over moderate or turn the server

The Idris discord is interesting, very much has a more formal and academic community than most programming servers, but doesn’t over moderate or turn the server into an unusable bureaucratic mess. Most servers I’ve been in are of the “shitposts everywhere” variety or “micromanaged to death” variety.