Idris mailing list

When people mail me with a question about Idris, they often ask if there’s somewhere more sensible to ask, like a mailing list, instead. Since there wasn’t, I’ve now created a mailing list via Google Groups:

Google Groups
Idris Programming Language
Visit this group

Posted August 17, 2011 by edwinb in Idris

Follow

Get every new post delivered to your Inbox.

%d bloggers like this: