Software Design Programming as Theory Building

https://gist.github.com/onlurking/fc5c81d18cfce9ff81bc968a7f342fb1