Ancestors

Toot

Written by Boyd Stephen Smith Jr. on 2024-11-14 at 19:33

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 | More toots from BoydStephenSmithJr@hachyderm.io

Descendants

Written by ohmrun on 2024-11-14 at 19:38

@BoydStephenSmithJr

There's a Rust version of Mastodon being built, if that's any help

=> More informations about this toot | More toots from ohmrun@cr8r.gg

Written by Boyd Stephen Smith Jr. on 2024-11-14 at 20:23

@ohmrun Sorry, I was unclear. I was looking for a place to talk about Idris; I was unconcerned about the implementation language of the forum software.

Next time I feel driven to search for it, if it still doesn't exist, I'll create it on programming.dev or infosec.pub

=> More informations about this toot | More toots from BoydStephenSmithJr@hachyderm.io

Written by ohmrun on 2024-11-15 at 02:31

@BoydStephenSmithJr

I've got @pigworker and @lindsey on my top tier theory list.

Idris is probably that-a-way.

=> More informations about this toot | More toots from ohmrun@cr8r.gg

Written by Lindsey Kuper on 2024-11-15 at 02:41

@ohmrun @BoydStephenSmithJr @pigworker There are a bunch of community fora listed on the Idris website, but maybe you'd be happier on the SPLS Zulip, which seems to have an Idris channel. http://spls.zulipchat.com/

=> More informations about this toot | More toots from lindsey@recurse.social