diff options
Diffstat (limited to 'transfer')
| -rw-r--r-- | transfer/TODO | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/transfer/TODO b/transfer/TODO index e78d634bd..e5b6a4876 100644 --- a/transfer/TODO +++ b/transfer/TODO @@ -26,13 +26,6 @@ - Patterns with guards -- Layout syntax resolver gets this wrong: - -main = let x : Type = case n of - n2 -> 2 - n3 -> 3 - in f Numeral - * Improve interpreter - More efficient handling of constructor application |