From d51f0b9449374c16dea16ed3aeef9de6859b1fb5 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Kevin=20L=C3=A4ufer?= <laeufer@cornell.edu>
Date: Tue, 3 Dec 2024 10:26:20 -0500
Subject: [PATCH] update todo

---
 Readme.md | 6 +-----
 1 file changed, 1 insertion(+), 5 deletions(-)

diff --git a/Readme.md b/Readme.md
index 2da649e..d7b8603 100644
--- a/Readme.md
+++ b/Readme.md
@@ -13,10 +13,6 @@ Some things we will hopefully get to one day.
 
 - simulator
   - JIT based implementation
-  - `get` for any expression
   - better debugging, add option to print expressions with trace
   - waveform generation
-  - quickly update only parts of the circuit
-- use [baa](https://github.com/ekiwi/baa) to represent and compute with concrete values
-  - this will allow us to implement a more efficient witness struct
-
+  - quickly update only parts of the circuit
\ No newline at end of file