Trying to complete over 100 projects in various categories in Idris