Transfer TODO: added (A,B : Type) argument types.

2006-03-20 14:03:34 +00:00
parent 04300a9e0d
commit 14b9c4ff8c
1 changed files with 2 additions and 2 deletions
--- 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