diff --git a/src/Convert/ParamType.hs b/src/Convert/ParamType.hs
index 2f75b10..d565f4f 100644
--- a/src/Convert/ParamType.hs
+++ b/src/Convert/ParamType.hs
@@ -235,8 +235,6 @@ exprToType (Bit e i) =
 exprToType _ = Nothing
 
 -- checks where a type is sufficiently resolved to be substituted
--- TODO: If a type parameter contains an expression, that expression should be
--- substituted into the new module, or created as a new parameter.
 isSimpleType :: Type -> Bool
 isSimpleType typ =
     (not $ typeHasQueries typ) &&
diff --git a/src/Convert/TypeOf.hs b/src/Convert/TypeOf.hs
index 42580cf..2422aef 100644
--- a/src/Convert/TypeOf.hs
+++ b/src/Convert/TypeOf.hs
@@ -2,11 +2,6 @@
  - Author: Zachary Snow <zach@zachjs.com>
  -
  - Conversion for the `type` operator
- -
- - TODO: This conversion only supports the most basic expressions so far. We can
- - add support for range and bit accesses, struct fields, and perhaps even
- - arithmetic operations. Bits and pieces of similar logic exist in other
- - conversion.
  -}
 
 module Convert.TypeOf (convert) where