Arthur Baars 4ba0f3088a Use strictcount

2021-02-25 10:21:07 +01:00

..

consistency-queries

AST: add consistency query

2021-02-24 19:07:16 +01:00

docs

Add folder structure for QL code

2020-10-28 14:04:36 +01:00

examples

Add folder structure for QL code

2020-10-28 14:04:36 +01:00

src

Use strictcount

2021-02-25 10:21:07 +01:00

test

AST: rename getExpr predicates to more meaningful names

2021-02-25 10:11:29 +01:00