Formal and informal applications for learning