From 6c8ff8e84b93945f4f7e53d4383d23c6f2c18695 Mon Sep 17 00:00:00 2001
From: bringert <bringert@cs.chalmers.se>
Date: Tue, 29 Nov 2005 19:43:57 +0000
Subject: [PATCH] Transfer: removed some fixed TODOs.

---
 transfer/TODO | 4 ----
 1 file changed, 4 deletions(-)

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: