From 0697e53d6a96b89f686b3368b1270eb62b50d72a Mon Sep 17 00:00:00 2001
From: Csaba Hruska <csaba.hruska@gmail.com>
Date: Fri, 5 Feb 2016 20:53:37 +0100
Subject: [PATCH] add todo

---
 TODO | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/TODO b/TODO
index 6d27bba4..f0076508 100644
--- 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)
\ No newline at end of file
+- tuple desugar overloading (e.g. to type level list by default)
+- move the website to github pages
\ No newline at end of file