4 ms·
The Idris group. It is very rich if you enjoy that type of thing. I seriously do not like it isn’t publicly indexable. So much lovely stuff gets lost when they
by tluyben2 4y ago
The Idris group. It is very rich if you enjoy that type of thing.
I seriously do not like it isn’t publicly indexable. So much lovely stuff gets lost when they close a channel.
- the_only_law 4y agoThe 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.