瀏覽代碼

Added item to TODO list.

Taddeus Kroes 13 年之前
父節點
當前提交
9cbf75f133
共有 1 個文件被更改,包括 1 次插入0 次删除
  1. 1 0
      TODO

+ 1 - 0
TODO

@@ -19,3 +19,4 @@
 - Change integral representation in parser so that _ and ^ bounds are printed correctly by line printer.
 
 - Rewrite unit tests to use improved line printer syntax.
+- Add notation "1 1/3" for 'int with fraction' leafs, and rules to rewrite them to fractions and back.