summaryrefslogtreecommitdiff
path: root/Biz/Ide/push.sh
diff options
context:
space:
mode:
authorBen Sima <ben@bsima.me>2024-05-20 22:06:34 -0400
committerBen Sima <ben@bsima.me>2024-05-20 23:15:31 -0400
commit3d4d36e5b4b61cbbee93032425c822f2f478449c (patch)
treef77a70c8191c60a0d3188f1523a43f430355f5e7 /Biz/Ide/push.sh
parent70c293597d0ad25a87008cd136ee63798aba8e53 (diff)
Greatly expand Repl.py
This adds a few things I found from [this gist][1], but cleaned up quite a bit I think, and designed a bit closer to the ghci user experience. Along the way I figured out what ruff settings will autoformat my imports in one alphabetized section, rather than splitting it into multiple sections for builtins and external deps. So I made that change in the whole repo, but there weren't too many changes. [1]: https://gist.github.com/aliles/1153926
Diffstat (limited to 'Biz/Ide/push.sh')
0 files changed, 0 insertions, 0 deletions