diff options
Diffstat (limited to 'todo.txt')
| -rw-r--r-- | todo.txt | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/todo.txt b/todo.txt index 16c05186a..bd8f7f89e 100644 --- a/todo.txt +++ b/todo.txt @@ -2,7 +2,6 @@ version 0.9.6 ============= - scopes are still broken for generic instantiation! -- integrate the new LL into the devel branch - start experimental branch - overloading of '='; general lift mechanism |