diff --git a/doc/todo.md b/doc/todo.md
index 788c7c019..8d5929b96 100644
--- a/doc/todo.md
+++ b/doc/todo.md
@@ -1,7 +1,6 @@
 To Do List
 ----------
 
-- Improved pretty printer.
 - Generic Tableaux prover.
 - [MCSat](http://leodemoura.github.io/files/fmcad2013.pdf) framework.
-- Independent type checker using a different programming language (e.g., F* or OCaml).
+- Independent type checker using a different programming language (e.g., LISP/Scheme, F* or OCaml).