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)