Leonardo de Moura 3953d4d122 feat(kernel/type_checker): add push/pop methods to type_checker, they control the cache, and allow the type checker to reuse results even when it is used inside of a backtracking search ... Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>		2014-06-22 09:58:05 -07:00
..
lean	feat(frontends/lean): add nameless 'have' expression	2014-06-20 17:18:18 -07:00
lua	feat(kernel/type_checker): add push/pop methods to type_checker, they control the cache, and allow the type checker to reuse results even when it is used inside of a backtracking search	2014-06-22 09:58:05 -07:00