`simp_add` not available in final boss world
Closed this issue · 1 comments
kbuzzard commented
On regular rules, even if one does algorithm world 4 to unlock simp_add, one does not seem to be able to use it in Power World 9. TODO: check to see if this can be fixed by adding an import.
joneugster commented
I pushed a fix with imports simp_add at the very beginning, making it available in all levels (if unlocked).
However, I only managed to do so by reproving add_comm, add_assoc and add_left_comm in this file, so I'm not completely convinced by this "fix"...