diff options
author | Kristóf Marussy <kristof@marussy.com> | 2022-08-10 18:33:20 +0200 |
---|---|---|
committer | Kristóf Marussy <kristof@marussy.com> | 2022-08-11 19:56:54 +0200 |
commit | 66a7758d4838a76a7979420f1674f8fbd664e3f2 (patch) | |
tree | 9d2c2dfb227a894016fb91754f5776896f2a1306 /subprojects/frontend/src/index.tsx | |
parent | chore(deps): bump frontend dependencies (diff) | |
download | refinery-66a7758d4838a76a7979420f1674f8fbd664e3f2.tar.gz refinery-66a7758d4838a76a7979420f1674f8fbd664e3f2.tar.zst refinery-66a7758d4838a76a7979420f1674f8fbd664e3f2.zip |
feat(language): modal parameter types
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 78e469cd..152c0bf7 100644 --- a/subprojects/frontend/src/index.tsx +++ b/subprojects/frontend/src/index.tsx | |||
@@ -34,7 +34,7 @@ pred invalidTaxStatus(Person p) <-> | |||
34 | parent(p, q), | 34 | parent(p, q), |
35 | !taxStatus(q, retired). | 35 | !taxStatus(q, retired). |
36 | 36 | ||
37 | rule createChild(p, newPerson): | 37 | rule createChild(may Person p, must Person 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, |