From 14b9c4ff8c4a433deb403e033ff2c48856b35cf0 Mon Sep 17 00:00:00 2001
From: bringert <bringert@cs.chalmers.se>
Date: Mon, 20 Mar 2006 14:03:34 +0000
Subject: [PATCH] Transfer TODO: added (A,B : Type) argument types.

---
 transfer/TODO | 4 ++--
 1 file 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