about summary refs log tree commit diff
diff options
context:
space:
mode:
authorAspen Smith <root@gws.fyi>2024-07-05T22·50-0400
committerclbot <clbot@tvl.fyi>2024-07-06T03·06+0000
commitd5964c1d548615aea1f3165c478ad91ad87822de (patch)
tree08c33b6652e31f90ab385a3b5d0ac4dfc9dca663
parent7ca32d9f0baf2548ec32d75d2872e8b82d4d8921 (diff)
chore(tvix/docs): Cross off a TODO r/8350
This is done now, as of fc6359463 (feat(tvix/repl): Allow binding
variables at the top-level, 2024-07-04)

Change-Id: I2126cbadeb66625cda93a7cd7ddb31409ec60fd9
Reviewed-on: https://cl.tvl.fyi/c/depot/+/11955
Reviewed-by: flokli <flokli@flokli.de>
Autosubmit: aspen <root@gws.fyi>
Tested-by: BuildkiteCI
-rw-r--r--tvix/docs/src/TODO.md6
1 files changed, 0 insertions, 6 deletions
diff --git a/tvix/docs/src/TODO.md b/tvix/docs/src/TODO.md
index 9baf170351e4..e29559f92386 100644
--- a/tvix/docs/src/TODO.md
+++ b/tvix/docs/src/TODO.md
@@ -89,12 +89,6 @@ Extend the other pages in here. Some ideas on what should be tackled:
 
 ## Features
 
-### CLI
- - `nix repl` can set variables and effectively mutates a global scope. We
-  should update the existing / add another repl that allows the same. We don't
-  want to mutate the evaluator, but should construct a new one, passing in the
-  root scope returned from the previous evaluation.
-
 ### Fetchers
 Some more fetcher-related builtins need work:
  - `fetchGit`