diff options
| -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 |