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 |
