diff options
| author | bringert <bringert@cs.chalmers.se> | 2006-03-20 14:03:34 +0000 |
|---|---|---|
| committer | bringert <bringert@cs.chalmers.se> | 2006-03-20 14:03:34 +0000 |
| commit | 2371a1fccaf0e02aa804830e93e6c8e25539a7e7 (patch) | |
| tree | d2c213ebec0b55898f2eda6d458cb66d355de2e3 /transfer | |
| parent | 19af3254dc583dbb21723f07c7afb3da5ceefe67 (diff) | |
Transfer TODO: added (A,B : Type) argument types.
Diffstat (limited to 'transfer')
| -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 |