update TODOs

1 files changed, 3 insertions, 0 deletions

diff --git a/TODO b/TODO
index c0f02a40..05f0d5cf 100644
--- a/TODO
+++ b/TODO
@@ -40,7 +40,10 @@ next:
 ------------------------------------------------------------------- weeks Jan 18, Jan 25
 
 0.4  goal: usable compiler
+done:
 - compiler: fix looping (primes, recursivetexture01)
+- refactor test system
+next:
 - ambiguity check (compiler): really check type annotations
 - ambiguity check (compiler): prohibit constraints like    a ~ List a,  a ~ a -> a, etc.
 - compiler: linear time interpretation (type erasure, de bruijn index compatification)