diff --git a/transfer/TODO b/transfer/TODO
index c116c6b01..40a3ec53f 100644
--- a/transfer/TODO
+++ b/transfer/TODO
@@ -30,10 +30,6 @@
 
 - More efficient handling of constructor application
 
-* Improve interpreter API
-
-- Allow passing terms as some structured type.
-
 * Improve the core language
 
 * Improve compilation