summaryrefslogtreecommitdiff
path: root/Biz/Ide
AgeCommit message (Expand)Author
2022-02-18Fix noteBen Sima
2022-02-18Refactor ns, add more viewsBen Sima
2022-02-09Add run script and rewrite nsBen Sima
2022-02-09Use fzf-tmux and add hoog.sh to ghciBen Sima
2022-02-09Move git hooks to own folderBen Sima
2022-02-02Fix argument referenceBen Sima
2021-12-21Enable shellcheck lint and fix its warningsBen Sima
2021-12-21Update ship scriptBen Sima
2021-12-21Extract repl program from bildBen Sima
2021-12-21Add kelvin versioning to pre-commit hookBen Sima
2021-12-21Add hoog.sh, improve ide scriptsBen Sima
2021-11-26Fix ci script and pre-pushBen Sima
2021-11-26Use nouns in ns scriptBen Sima
2021-11-26Small Ide improvementsBen Sima
2021-11-26Update to ghc 8.10.4Ben Sima
2021-11-26Fix GitHub OAuth argsBen Sima
2021-11-26Add both optionBen Sima
2021-11-26Move commands and add ns functionBen Sima
2021-11-26Fix post-checkout scriptBen Sima
2021-01-22Fix bad bash substitutionBen Sima
2021-01-08Simplify post-checkoutBen Sima
2020-12-28ide: incremental tags and git hooksBen Sima
2020-12-28ide: add ftags scriptBen Sima