diff options
author | Ben Sima <ben@bsima.me> | 2024-05-20 22:06:34 -0400 |
---|---|---|
committer | Ben Sima <ben@bsima.me> | 2024-05-20 23:15:31 -0400 |
commit | 3d4d36e5b4b61cbbee93032425c822f2f478449c (patch) | |
tree | f77a70c8191c60a0d3188f1523a43f430355f5e7 /Biz/Ide/push.sh | |
parent | 70c293597d0ad25a87008cd136ee63798aba8e53 (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