diff options
| author | bringert <bringert@cs.chalmers.se> | 2005-11-28 19:15:27 +0000 |
|---|---|---|
| committer | bringert <bringert@cs.chalmers.se> | 2005-11-28 19:15:27 +0000 |
| commit | 8535445a81828da4b94b50b7274234ff6a414134 (patch) | |
| tree | f382aa272b5e243809e3e5b8127903340ad24f6d | |
| parent | 9fe010ce58619d205593dba52e2c68bf5118d092 (diff) | |
Removed interpreter API TODO.
| -rw-r--r-- | transfer/TODO | 4 |
1 files changed, 0 insertions, 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 |