Updated TODO and spec

1 files changed, 2 insertions, 0 deletions

diff --git a/TODO b/TODO
index aea5144c..332b127d 100644
--- a/TODO
+++ b/TODO
@@ -2,6 +2,7 @@
 TODO 
    Figure out how types and widths propogate for all updated primops
    Write infer-types pass
+   Remove letrec. Add to expressions: Register(input,en), ReadPort(mem,index,enable), WritePort(mem,index,enable)
    Update spec
       change concrete syntactical names of structural elements
       change direction names for bundle fields
@@ -23,6 +24,7 @@ TODO
       What is lowered form? What is it for?
 
 
+
 Tests:
    Error if declare anything other than module in circuit
    Error if incorrectly assign stuff, like use = instead of :=