From 8535445a81828da4b94b50b7274234ff6a414134 Mon Sep 17 00:00:00 2001
From: bringert <bringert@cs.chalmers.se>
Date: Mon, 28 Nov 2005 19:15:27 +0000
Subject: [PATCH] Removed interpreter API TODO.

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

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