the next generation of the in-browser educational proof assistant
define derived
+4
-1
+4
-1
src/InductiveSet.res
+4
-1
src/InductiveSet.res
···
15
15
onChange: (state, ~exports: Ports.t=?) => unit,
16
16
}
17
17
18
+
let derived = (state: state): state => {
19
+
Dict.make()
20
+
}
18
21
let serialise = (state: state) => {
19
22
state
20
23
->Dict.toArray
···
55
58
className={"axiom-set axiom-set-"->String.concat(
56
59
String.make(props.imports.ruleStyle->Option.getOr(Hybrid)),
57
60
)}>
58
-
{Dict.toArray(props.content)
61
+
{Dict.toArray(props.content->Dict.copy->Dict.assign(derived(props.content)))
59
62
->Array.mapWithIndex(((n, r), i) =>
60
63
<RuleView
61
64
rule={r}