diff options
| author |  Kristóf Marussy <kristof@marussy.com> | 2022-08-10 18:07:00 +0200 |
|---|---|---|
| committer | Kristóf Marussy <kristof@marussy.com> | 2022-08-10 18:07:00 +0200 |
| commit | f0ad5f232acf41c421ec164fb3cf097ef93214ff (patch) | |
| tree | f0565984c69691a2f821979272ed417ddb3f869d /subprojects/frontend/src/index.tsx | |
| parent | feat(language): add support for count operator (diff) | |
| download | refinery-f0ad5f232acf41c421ec164fb3cf097ef93214ff.tar.gz refinery-f0ad5f232acf41c421ec164fb3cf097ef93214ff.tar.zst refinery-f0ad5f232acf41c421ec164fb3cf097ef93214ff.zip | |
refactor(language): simplify count notation
Also change refinement operator based on feedback from colleagues
Diffstat (limited to 'subprojects/frontend/src/index.tsx')
| -rw-r--r-- | subprojects/frontend/src/index.tsx | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/subprojects/frontend/src/index.tsx b/subprojects/frontend/src/index.tsx index 0616007a..78e469cd 100644 --- a/subprojects/frontend/src/index.tsx +++ b/subprojects/frontend/src/index.tsx | |||
| @@ -37,7 +37,7 @@ pred invalidTaxStatus(Person p) <-> | |||
| 37 | rule createChild(p, newPerson): | 37 | rule createChild(p, newPerson): |
| 38 | may children(p, newPerson), | 38 | may children(p, newPerson), |
| 39 | may !equals(newPerson, newPerson) | 39 | may !equals(newPerson, newPerson) |
| 40 | ==> new q: newPerson, | 40 | ==> new q <: newPerson, |
| 41 | children(p, q), | 41 | children(p, q), |
| 42 | taxStatus(q, child). | 42 | taxStatus(q, child). |
| 43 | 43 | ||