Leonardo de Moura 6f0296c757 feat(library/init/lean/parser/parser): add faster take* combinators ... They are much faster than the more general `many*` combinators.		2018-04-27 13:39:19 -07:00
..
macro.lean	feat(init/parser): add prototype code for syntax trees, macro expansion, and name resolution	2018-04-27 17:57:03 +02:00
move.lean	feat(init/parser): add prototype code for syntax trees, macro expansion, and name resolution	2018-04-27 17:57:03 +02:00
parser.lean	feat(library/init/lean/parser/parser): add faster take* combinators	2018-04-27 13:39:19 -07:00
syntax.lean	feat(init/parser): add prototype code for syntax trees, macro expansion, and name resolution	2018-04-27 17:57:03 +02:00