new targets in TODO-list

2 files changed, 6 insertions, 3 deletions

diff --git a/Doxyfile b/Doxyfile
index 81d6952..ead4c61 100644
--- a/Doxyfile
+++ b/Doxyfile
@@ -1293,7 +1293,7 @@ EXTRA_SEARCH_MAPPINGS  =
 # If the GENERATE_LATEX tag is set to YES (the default) Doxygen will
 # generate Latex output.
 
-GENERATE_LATEX         = YES
+GENERATE_LATEX         = NO
 
 # The LATEX_OUTPUT tag is used to specify where the LaTeX docs will be put.
 # If a relative path is entered the value of OUTPUT_DIRECTORY will be
diff --git a/TODO.rst b/TODO.rst
index 4650ec7..d853b36 100644
--- a/TODO.rst
+++ b/TODO.rst
@@ -1,2 +1,5 @@
-- Better inherit relationship between Cons and EvalObj
-- Replace many `dynamic_cast` with `static_cast`
+- More sophisticated type system
+  - Number system && proper arithmetic
+  - Cons support
+- Quotation
+- Add macro support