Where are the Idris communities and enthusiasts?

[kytrinyx]

As we move towards the launch of the new version of Exercism we are going to be ramping up on actively recruiting people to help provide feedback.

Our goal is to get to 100%: everyone who submits a solution and wants feedback should get feedback. Good feedback. You can read more about this aspect of the new site here: http://mentoring.exercism.io/

To do this, we're going to need a lot more information about where we can find language enthusiasts.

• Is Idris supported by one or more large organizations?
• Does Idris have an official community manager?
• Do you know of specific communities (online or offline) that are enthusiastic about Idris? (Chat communities, forums, meetups, student clubs, etc)
• Are there popular conferences for Idris? (If so, what are some examples?)
• Are there any organizations who are targeted specifically at getting certain subgroups or demographics interested in Idris? (e.g. kids, teenagers, career changers, people belonging to various groups that are typically underrepresented in tech?)
• Are there specific groups or programs dedicated to mentoring people in Idris?
• Are there popular newsletters for Idris?
• Is Idris taught at programming bootcamps? (If so, what are some examples?)
• Is Idris taught at universities? (If so, what are some examples?)

In other words: where do people care a lot and/or know a lot about Idris?

This is part of the project being tracked in https://github.com/exercism/meta/issues/103

[esg]

Do you know of specific communities (online or offline) that are enthusiastic about Idris? (Chat communities, forums, meetups, student clubs, etc)

The ones I'm aware of are:

• IRC: #idris on Freenode
• /r/idris on reddit

people more involved in Idris might have more info.

[yurrriq]

:+1: Freenode. There’s a mailing list too. I’ll get a link.

[yurrriq]

https://groups.google.com/forum/m/#!forum/idris-lang

[kytrinyx]

I've got what I need for now; closing this out. Thank you! 🌼