removed transfer from gf3

1 files changed, 0 insertions, 55 deletions

diff --git a/transfer/TODO b/transfer/TODO
deleted file mode 100644
index 6ad3a3428..000000000
--- a/transfer/TODO
+++ /dev/null
@@ -1,55 +0,0 @@
-* Improve front-end language
-
-- implicit arguments?
-
-- show generation
-
-- ord generation
-
-- better module system
-
-- Negated patterns?
-
-- Simplify taking many arguments of the same type: f : (A,B : Type) -> ...
-
-- add record extension operator?
-
-* Improve interpreter
-
-- More efficient handling of constructor application
-
-- Implement tail recursion.
-
-* Improve the core language
-
-* Add primitive types operations to core
-
-- add Char type, with primitive operations:
-  - Enum stuff
-
-- add more primitive operations on strings:
-  - make list an isntance of the collection class for strings
-
-* Add more libraries
-
-- Enum class
-
-- Bounded class
-
-- list functions
-
-- a map structure
-
-- collections framework?
-
-- state monad
-
-* Improve compilation
-
-* Implement module system in interpreter
-
-* Add type checker for core
-
-* Add friendly type checker for front-end language
-
-* Add termination checker