add todo

lambdacube3d · Feb 5, 2016 · 0697e53 · 0697e53
1 parent eca604c
commit 0697e53
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/TODO b/TODO
@@ -285,4 +285,5 @@ insert somewhere:
 - editor: show definition place & show use places of variables etc.
 - support pipeline storage serialization
 - command line flag for runTest: parse only (outputs SExp)
-- tuple desugar overloading (e.g. to type level list by default)
+- tuple desugar overloading (e.g. to type level list by default)
+- move the website to github pages