omni.git - not just a monorepo, its an *omnirepo*

Age	Commit message (Collapse)	Author
2022-07-19	Upgrade nixpkgs, ghc923	Ben Sima
	I ended up deleting miso, and consequently all files under Hero/ and Miso/, because I couldn't get miso to build with GHC 9.2. Other things: - Niv has been wrapped by Biz/Bild/Deps.hs, so I can extend it to my liking. - Apply-refact is gone because I couldn't get it to build. - Disabled python stuff.
2021-02-17	Fixup some modules	Ben Sima

2020-06-27	hero: implement the basics of user logins	Ben Sima
	There's also a lot of refactoring/renaming in here, so the diff is really messy. The overall problem is that I've only ever added code, I've never gone back and reorganized/rearchitected stuff. So adding even small features is becoming an enormous effort. Anyway, this adds the basics of user auth. Next I need to add the auth checks for every route that needs it, and make sure everything is back to working correctly.