Age | Commit message (Collapse) | Author | |
---|---|---|---|
2024-12-21 | Re-namespace some stuff to Omni | Ben Sima | |
I was getting confused about what is a product and what is internal infrastructure; I think it is good to keep those things separate. So I moved a bunch of stuff to an Omni namespace, actually most stuff went there. Only things that are explicitly external products are still in the Biz namespace. | |||
2023-08-16 | Get python targets building | Ben Sima | |
I added 'black' to Biz/Lint.hs, but not the others because they rely on dependencies being in the PYTHONPATH to work, so they are only relevant in nix builds and repls. I also made some other tweaks to the python checkPhase and linted all the files. Everything should be building and linting correctly now. | |||
2023-04-28 | Reorganize to Biz/Cloud/Comms | Ben Sima | |