9 Commits

Author	SHA1	Message	Date
Taus	c8de28c0a0	Get rid of getParent overrides	2021-05-28 11:11:33 +00:00
Taus	a4de52d135	Add unique as known aggregate name to treesitter	2021-05-27 16:48:59 +00:00
Taus	ec98e8a82d	Add convenience methods for aggregates	2021-05-26 21:25:42 +00:00
Taus	4eb836ca9b	AST for quantifiers, negation	2021-05-26 21:06:04 +00:00
Taus	2443ad3314	Add body as a field of charpred	2021-05-26 17:26:15 +00:00
Taus	f2edd7724c	Record annotation names in the AST	2021-05-26 13:14:52 +00:00
Taus	0f6d6df745	Support expression annotations	2021-05-26 12:21:19 +00:00
shati-patel	041c07463f	another bit of cleanup	2021-05-26 12:38:40 +01:00
Tom Hvitved	7bac6a07b6	Initial commit	2021-05-26 11:32:30 +02:00