diff options
Diffstat (limited to 'language-web')
-rw-r--r-- | language-web/src/main/css/index.scss | 2 | ||||
-rw-r--r-- | language-web/src/main/js/index.jsx | 12 |
2 files changed, 8 insertions, 6 deletions
diff --git a/language-web/src/main/css/index.scss b/language-web/src/main/css/index.scss index 3ed91824..c92588b8 100644 --- a/language-web/src/main/css/index.scss +++ b/language-web/src/main/css/index.scss | |||
@@ -127,7 +127,7 @@ li.CodeMirror-hint-active { | |||
127 | font-weight: 700; | 127 | font-weight: 700; |
128 | } | 128 | } |
129 | 129 | ||
130 | .cm-quoted-name, .problem-enum-node { | 130 | .problem-unique-node { |
131 | @extend .cm-atom; | 131 | @extend .cm-atom; |
132 | } | 132 | } |
133 | 133 | ||
diff --git a/language-web/src/main/js/index.jsx b/language-web/src/main/js/index.jsx index b3277a30..40b02b14 100644 --- a/language-web/src/main/js/index.jsx +++ b/language-web/src/main/js/index.jsx | |||
@@ -25,15 +25,17 @@ enum TaxStatus { | |||
25 | } | 25 | } |
26 | 26 | ||
27 | % A child cannot have any dependents. | 27 | % A child cannot have any dependents. |
28 | error invalidTaxStatus(Person p) <=> | 28 | error invalidTaxStatus(Person p) <-> |
29 | taxStatus(p, child), children(p, _q). | 29 | taxStatus(p, child), children(p, _q). |
30 | 30 | ||
31 | Family('family'). | 31 | unique family. |
32 | members('family', anne). | 32 | Family(family). |
33 | members('family', bob). | 33 | members(family, anne). |
34 | members('family', ciri). | 34 | members(family, bob). |
35 | members(family, ciri). | ||
35 | children(anne, ciri). | 36 | children(anne, ciri). |
36 | ?children(bob, ciri). | 37 | ?children(bob, ciri). |
38 | default children(ciri, *): false. | ||
37 | taxStatus(anne, adult). | 39 | taxStatus(anne, adult). |
38 | age(anne, 35). | 40 | age(anne, 35). |
39 | bobAge: 27. | 41 | bobAge: 27. |