diff --git a/transfer/TODO b/transfer/TODO
index 9b359abea..e5b6a4876 100644
--- a/transfer/TODO
+++ b/transfer/TODO
@@ -12,8 +12,6 @@
 
 - implicit arguments?
 
-- layout syntax?
-
 - composOp generation
 
 - show generation
@@ -36,8 +34,6 @@
 
 * Improve compilation
 
-- Eta-expand constructor applications and use the core feature for them.
-
 * Add primitive operations to core
 
 - primitive operations on strings: