Removed interpreter API TODO.

This commit is contained in:
bringert
2005-11-28 19:15:27 +00:00
parent 6fb6eb3980
commit 2c0fdf6c3c

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