diff options
author | Vincent Ambo <mail@tazj.in> | 2022-08-11T21·27+0300 |
---|---|---|
committer | tazjin <tazjin@tvl.su> | 2022-08-26T17·19+0000 |
commit | 7c803a7e72564807cd9029a829109d795b9beb6d (patch) | |
tree | 761838b0a52a9eb2faafc6027ad019ce7e4bcce2 /web | |
parent | d14db8dcaae3c6d624ce17417ac58a44a6f5983c (diff) |
feat(tvix/eval): use rustyline crate for REPL r/4505
This is a substantially nicer experience, immediately granting us history, proper exiting and so on. Change-Id: Iba4cb1713b9ac53d0799722bdbe2cd0e94a2f527 Reviewed-on: https://cl.tvl.fyi/c/depot/+/6171 Reviewed-by: grfn <grfn@gws.fyi> Tested-by: BuildkiteCI
Diffstat (limited to 'web')
0 files changed, 0 insertions, 0 deletions