From d5964c1d548615aea1f3165c478ad91ad87822de Mon Sep 17 00:00:00 2001 From: Aspen Smith Date: Fri, 5 Jul 2024 18:50:55 -0400 Subject: chore(tvix/docs): Cross off a TODO 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 Autosubmit: aspen Tested-by: BuildkiteCI --- tvix/docs/src/TODO.md | 6 ------ 1 file changed, 6 deletions(-) (limited to 'tvix/docs/src') 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` -- cgit 1.4.1