Sorry about not posting the last 2 days, but I don't have much to talk about. Mostly I was learning about idris and handling state. I did think of another idea for the design. I think what I'm going to do to allow integration with existing websites, such as poal is to implement oauth in the daemon. Then if a website wants to integrate with C_D they just have to install an oauth plugin on their website, and run the daemon. I created a test framework for idris and was able to start passing values back and forth between Idris and javascript. I learned about linear types which allows you to set it up so the compiler prevents you from forgetting to clean up a resource, or checking if its in the wrong state at compile time. So if you open a socket, you can set it up so that won't even compile without closing the socket. You can also guarantee that you'll never try to write to closed socket, etc.