about summary refs log tree commit diff
diff options
context:
space:
mode:
-rw-r--r--tvix/docs/src/TODO.md2
1 files changed, 0 insertions, 2 deletions
diff --git a/tvix/docs/src/TODO.md b/tvix/docs/src/TODO.md
index 033a6bfc4aaf..5f3ce1b90349 100644
--- a/tvix/docs/src/TODO.md
+++ b/tvix/docs/src/TODO.md
@@ -152,8 +152,6 @@ there are ruled out, adding other types of builders might be interesting.
 Long-term, we want to extend traits and gRPC protocol.
 This requires some more designing. Some goals:
 
- - use stricter castore types (and maybe stricter build types) instead of
-   proto types, add conversion code where necessary
  - (more granular) control while a build is happening
  - expose more telemetry and logs