diff --git a/transfer/TODO b/transfer/TODO
index e5b6a4876..8e46145bd 100644
--- a/transfer/TODO
+++ b/transfer/TODO
@@ -1,19 +1,11 @@
 * Improve front-end language
 
-- Tuple syntax in expressions, types and patterns. Implemented with records.
+- Tuple syntax in expressions, types and patterns? Implemented with records.
 
-- List syntax in expressions, types and patterns. Implemented with List.
-
-- operators for primitive string operations: 
-
-- list operators: ++, :
-
-- overloaded operators?
+- List syntax in types and patterns? Implemented with List.
 
 - implicit arguments?
 
-- composOp generation
-
 - show generation
 
 - eq generation
@@ -30,6 +22,8 @@
 
 - More efficient handling of constructor application
 
+- Implement tail recursion.
+
 * Improve the core language
 
 * Improve compilation