Remove done TODO

1 files changed, 0 insertions, 1 deletions

diff --git a/src/AST.hs b/src/AST.hs
index fb5a45e..b8d23b4 100644
--- a/src/AST.hs
+++ b/src/AST.hs
@@ -89,7 +89,6 @@ data Expr x env t where
 
   -- accumulation effect on monoids
   EWith :: x (TPair a (D2 t)) -> STy t -> Expr x env (D2 t) -> Expr x (TAccum t : env) a -> Expr x env (TPair a (D2 t))
-  -- TODO: let this contain a OneHotTerm that is shared with EOneHot for uniformity in Simplify
   EAccum :: x TNil -> STy t -> SAcPrj p t a -> Expr x env (AcIdx p t) -> Expr x env (D2 a) -> Expr x env (TAccum t) -> Expr x env TNil
 
   -- monoidal operations (to be desugared to regular operations after simplification)