diff --git a/transfer/TODO b/transfer/TODO
index affa11f96..b6eb8eda9 100644
--- a/transfer/TODO
+++ b/transfer/TODO
@@ -2,8 +2,6 @@
 
 - Tuple syntax in expressions, types and patterns? Implemented with records.
 
-- List syntax in types and patterns? Implemented with List.
-
 - implicit arguments?
 
 - show generation