aboutsummaryrefslogtreecommitdiffstats
path: root/subprojects/language-model/problem.aird
Commit message (Expand)AuthorAge
* feat(language): modal parameter typesLibravatar Kristóf Marussy2022-08-11
* refactor(language): simplify count notationLibravatar Kristóf Marussy2022-08-10
* feat(language): add support for count operatorLibravatar Kristóf Marussy2022-08-10
* refactor: direct predicatesLibravatar Kristóf Marussy2022-08-01
* build: move modules into subproject directoryLibravatar Kristóf Marussy2021-12-12