liamoc.net / holbert-ng
the next generation of the in-browser educational proof assistant
1
fork

Configure Feed

Select the types of activity you want to include in your feed.

export derived rules.

Liam O’Connor cb83d23c 98347ff5

+1 -1
+1 -1
src/InductiveSet.res
··· 217 217 } 218 218 } 219 219 } 220 - ret.contents->Result.map(state => (state, {Ports.facts: state, ruleStyle: None})) 220 + ret.contents->Result.map(state => (state, {Ports.facts: state->Dict.copy->Dict.assign(derived(state)), ruleStyle: None})) 221 221 } 222 222 223 223 let make = props => {