diff options
| -rw-r--r-- | transfer/TODO | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/transfer/TODO b/transfer/TODO index 0fc09067a..f53ffab18 100644 --- a/transfer/TODO +++ b/transfer/TODO @@ -4,13 +4,13 @@ - show generation -- eq generation +- ord generation - better module system - Negated patterns? -- Patterns with guards +- Simplify taking many arguments of the same type: f : (A,B : Type) -> ... * Improve interpreter |