https://www.idris-lang.org/documentation/community-standards/,Community Standards,https://github.com/joaomilho/awesome-idris#readme,Idris error: <HTTPError 404: 'Not Found'> | reason: Not Found
http://idris.build,Idris Rules,https://github.com/joaomilho/awesome-idris#readme,Idris error: URLError(gaierror(8, 'nodename nor servname provided, or not known')) | reason: [Errno 8] nodename nor servname provided, or not known