Learning project by a group of people interested in learning the Idris language