From f97b5a984ef819b1f63e807e434675dab82bcf28 Mon Sep 17 00:00:00 2001
From: Robbie Gleichman <rgleichman@gmail.com>
Date: Thu, 22 Dec 2016 19:05:23 -0800
Subject: [PATCH] Format todo.txt as markdown.

---
 todo.txt | 51 ++++++++++++++++++++++++++++++---------------------
 1 file changed, 30 insertions(+), 21 deletions(-)

diff --git a/todo.txt b/todo.txt
index f67223c..1ee1b20 100644
--- a/todo.txt
+++ b/todo.txt
@@ -1,30 +1,39 @@
--- TODO Now --
-Consider adding binding variable names to the lambda icon and match icon. Don't display the name if it is only one character.
+# Todo
 
--- TODO Later --
--- Add documentation.
+## Todo Now
+* Consider adding binding variable names to the lambda icon and match icon. Don't display the name if it is only one character.
 
--- Testing todos:
-Fix the arrowheads being too big for SyntaxGraph drawings.
+## Todo Later
+* Add documentation.
 
--- Visual todos:
-Draw bounding boxes for lambdas (use dashed lines)
+### Testing todos
+* Fix the arrowheads being too big for SyntaxGraph drawings.
 
--- Make an icon font/library with labeled ports. E.g. the apply icon would have text labels "function", "result", "arg 0", "arg 1", etc.
--- Don't rotate text and nested icons, give them rectangular bounding boxes in GraphViz. (Perhaps use a typeclass for isRotateAble)
--- Give lines a black border to make line crossings easier to see.
--- Let lines connect to ports other than the original source
--- Use different line styles (e.g. dashed, solid, wavy) in addition to colors
-Use diagrams to shrink the drawing until icons start overlapping.
+### Visual todos
+* Draw bounding boxes for lambdas (use dashed lines)
 
--- Translate todos:
-Allow case and guard nodes to embed simple patterns and expressions.
+* Make an icon font/library with labeled ports. E.g. the apply icon would have text labels "function", "result", "arg 0", "arg 1", etc.
 
-Fix this test so that the line colors are correct. Consider connecting the t line to the origial rhs (3,4), not the pattern result.
+* Don't rotate text and nested icons, give them rectangular bounding boxes in GraphViz. (Perhaps use a typeclass for isRotateAble)
+
+* Give lines a black border to make line crossings easier to see.
+
+* Let lines connect to ports other than the original source
+
+* Use different line styles (e.g. dashed, solid, wavy) in addition to colors
+
+* Use diagrams to shrink the drawing until icons start overlapping.
+
+### Translate todos
+* Allow case and guard nodes to embed simple patterns and expressions.
+
+* Fix this test so that the line colors are correct. Consider connecting the t line to the origial rhs (3,4), not the pattern result.
 y = let {t@(_,_) = (3,4)} in t + 3
 
-Fix applyComposeScore in Translate.hs not counting expressions that nest via reference. May need to move compose generation to after translate.
+* Fix applyComposeScore in Translate.hs not counting expressions that nest via reference. May need to move compose generation to after translate.
 
--- Fix test case x of {0 -> 1; y -> y}.
--- Add proper RecConstr, and RecUpdate support.
--- Special case for otherwise.
+* Fix test case x of {0 -> 1; y -> y}.
+
+* Add proper RecConstr, and RecUpdate support.
+
+* Special case for otherwise.