Open pjames27 opened 4 months ago
I've tried to replace my function with eliminatefacts, but it couldn't get it working. When I call eliminatefacts("claim0", dataset), it'll just clear the whole dataset. I've pushed that code into a new branch instead of main since it isn't working.
Hm... I'll give this a shot as well. I was able to get it working on a toy example, but haven't tried it in the app.
I've been made aware of eliminatefacts, an epilog.js subroutine that removes all facts that contain a given symbol. To reduce redundant code, we should switch to using this subroutine when deleting objects.
When we want more subtle deletion behavior in the future, we will likely still need to write our own deletion subroutine.