Edwin Brady

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:

Idris Programming Language
Visit this group