10/12/2020 (Things i learned)
- stdout and stderr are separate streams! redirect both.
- familiarise with components which make a server work
- got https://tupaiapi.site running!
- plan short term TO-DO (primrec and metamath)