fix the action subsumption rule
Closed this issue · 1 comments
ivoysey commented
fix the action subsumption rule
ivoysey commented
With our current thought about how to restore determinism, there is nothing wrong with the AASubsume
rule; instead we define a metafunction on derivations that produces ones that don't have the problem and then prove determinism for them. So this is no longer relevant.