diff options
| author | bringert <bringert@cs.chalmers.se> | 2005-11-29 19:43:57 +0000 |
|---|---|---|
| committer | bringert <bringert@cs.chalmers.se> | 2005-11-29 19:43:57 +0000 |
| commit | afffb0367bdfda9b9b7a4153d5738bb15b444186 (patch) | |
| tree | 1d07baf60b4ce4a42d310999a99fee0f2072baa0 | |
| parent | 68d4cc143f01189ebe99ca4413470257335fced4 (diff) | |
Transfer: removed some fixed TODOs.
| -rw-r--r-- | transfer/TODO | 4 |
1 files changed, 0 insertions, 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: |