A group of people interested in learning the idris language