aboutsummaryrefslogtreecommitdiffstats
path: root/subprojects/language-semantics
Commit message (Expand)AuthorAge
* refactor: tuples in QueryableModelLibravatar Kristóf Marussy2022-10-03
* feat: data structure for assertion mergingLibravatar Kristóf Marussy2022-10-03