diff options
Diffstat (limited to 'transfer')
| -rw-r--r-- | transfer/TODO | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/transfer/TODO b/transfer/TODO index b6eb8eda9..0fc09067a 100644 --- a/transfer/TODO +++ b/transfer/TODO @@ -1,7 +1,5 @@ * Improve front-end language -- Tuple syntax in expressions, types and patterns? Implemented with records. - - implicit arguments? - show generation |