Leonardo de Moura 4a9a637ddf feat(library/init/meta/converter): add 'funext' converter and 'conversion' tactic		2016-10-05 15:05:07 -07:00
..
lean	feat(library/init/meta/converter): add 'funext' converter and 'conversion' tactic	2016-10-05 15:05:07 -07:00