2 commits

Author	SHA1	Message	Date
Leonardo de Moura	d212abb9ee	feat(library/init/lean/syntax): export helper functions for creating syntax in C++	2019-06-05 16:49:58 -07:00
Leonardo de Moura	7909d86e5d	feat(library/init/lean): Syntax objects with new SyntaxNodeKind and Substring, and arrays instead of lists ... We can use `SyntaxNodeKind.id : Nat` to implement maps from kind to values using arrays.	2019-06-05 15:35:51 -07:00