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

Age	Commit message (Expand)	Author
2021-12-21	Extract repl program from bild	Ben Sima
2021-12-21	Add kelvin versioning to pre-commit hook	Ben Sima
2021-12-21	Add hoog.sh, improve ide scripts	Ben Sima
2021-11-26	Fix ci script and pre-push	Ben Sima
2021-11-26	Use nouns in ns script	Ben Sima
2021-11-26	Small Ide improvements	Ben Sima
2021-11-26	Update to ghc 8.10.4	Ben Sima
2021-11-26	Fix GitHub OAuth args	Ben Sima
2021-11-26	Add both option	Ben Sima
2021-11-26	Move commands and add ns function	Ben Sima
2021-11-26	Fix post-checkout script	Ben Sima
2021-01-22	Fix bad bash substitution	Ben Sima
2021-01-08	Simplify post-checkout	Ben Sima
2020-12-28	ide: incremental tags and git hooks	Ben Sima
2020-12-28	ide: add ftags script	Ben Sima