Transfer: removed some fixed TODOs.

2005-11-29 19:43:57 +00:00
parent 33b28b19e9
commit 6c8ff8e84b
1 changed files with 0 additions and 4 deletions
--- 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: