From 5efc60d1f12c97d852ccf193b5ca27f42bcd1451 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Thu, 6 Feb 2014 18:07:06 -0800 Subject: [PATCH] doc(todo): add another item to todo list --- doc/todo.md | 1 + 1 file changed, 1 insertion(+) diff --git a/doc/todo.md b/doc/todo.md index 14c234f25..bb2f2db22 100644 --- a/doc/todo.md +++ b/doc/todo.md @@ -15,3 +15,4 @@ To Do List - Independent type checker using a different programming language (e.g., F* or OCaml). - Module for reading [OpenTheory](http://www.gilith.com/research/opentheory/) proofs. - Re-implement apply-tactic. +- Improve performance of `is_convertible` and `is_definitionally_equal` predicates