Leonardo de Moura 61274c7d35 feat(library/init/data/char): use uint32 instead of nat for defining char		2019-02-15 18:07:55 -08:00
..
basic.lean
combinators.lean
command.lean
declaration.lean
identifier.lean
level.lean
module.lean
notation.lean
parsec.lean
pratt.lean
rec.lean
string_literal.lean	feat(library/init/data/char): use uint32 instead of nat for defining char	2019-02-15 18:07:55 -08:00
syntax.lean
term.lean
token.lean
trie.lean