Is there an #idris Reddit-replacement forum? Something with proper reply threading, quoting, and code blocks? I suppose a mailing list would be fine, tho I do like having up/down votes available.
My lemmy search didn't yield anything.
=> More informations about this toot | View the thread | More toots from BoydStephenSmithJr@hachyderm.io
=> View idris tag This content has been proxied by September (ba2dc).Proxy Information
text/gemini