diff options
| -rw-r--r-- | transfer/TODO | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/transfer/TODO b/transfer/TODO index 40a3ec53f..9b359abea 100644 --- a/transfer/TODO +++ b/transfer/TODO @@ -26,6 +26,8 @@ - Negated patterns? +- Patterns with guards + * Improve interpreter - More efficient handling of constructor application |