https://ipython.pythonprogramminghelp.com/3-amazing-idris-to-try-right-now/