- Write down, so that we don't forget.

2004-08-31 08:58:50 +00:00 · 2004-08-31 08:58:50 +00:00 · a673ea4ad1
commit a673ea4ad1
parent 3687bff185
1 changed files with 2 additions and 1 deletions
--- a/src/todo.txt
+++ b/src/todo.txt
@ -1,6 +1,7 @@
+- Rewrite termMguTerm such that it iterates and adapt all functions
+  using it. This is to allow for associative tupling later.
 - valgrind -a; key level scanning memory leaks
 - Maybe a singular, preset M_0 sending node. Test for performance issues.
- Create dot output for arachne attacks
 - To store attacks for arachne, maybe the following is needed:
  - The roles for each run
  - The variable bindings for all (local) variables