Removed interpreter API TODO.

This commit is contained in:
bringert committed 2005-11-28 19:15:27 +00:00
1 parent 9fe010ce58
commit 8535445a81
1 file changed
-4
-4
View File
@@ -30,10 +30,6 @@
- More efficient handling of constructor application
* Improve interpreter API
- Allow passing terms as some structured type.
* Improve the core language
* Improve compilation