7 Commits

Author	SHA1	Message	Date
Taus	9536e591fb	QL: Add convenience methods for aggregates	2021-05-26 21:25:42 +00:00
Taus	d4782e67fe	QL: AST for quantifiers, negation	2021-05-26 21:06:04 +00:00
Taus	e554fa8277	QL: Add body as a field of charpred	2021-05-26 17:26:15 +00:00
Taus	c91a2b88fd	QL: Record annotation names in the AST	2021-05-26 13:14:52 +00:00
Taus	6f8f0bb749	QL: Support expression annotations	2021-05-26 12:21:19 +00:00
shati-patel	1b8f702ec6	QL: 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