diff options
| author | bringert <bringert@cs.chalmers.se> | 2006-03-20 18:23:55 +0000 |
|---|---|---|
| committer | bringert <bringert@cs.chalmers.se> | 2006-03-20 18:23:55 +0000 |
| commit | 0419860b4e1463ef5c9f32e0697f917806b78752 (patch) | |
| tree | 61fc2bcb62b31f114ca44446dacb4d723a90a4e2 /transfer/TODO | |
| parent | 8d1543684a37280ef23a2c7be5d141e1800cea9e (diff) | |
Transfer: some TODOs. Lots of minor fixes in type checking algorithm.
Diffstat (limited to 'transfer/TODO')
| -rw-r--r-- | transfer/TODO | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/transfer/TODO b/transfer/TODO index d3a78d49d..6ad3a3428 100644 --- a/transfer/TODO +++ b/transfer/TODO @@ -12,6 +12,8 @@ - Simplify taking many arguments of the same type: f : (A,B : Type) -> ... +- add record extension operator? + * Improve interpreter - More efficient handling of constructor application |