Let's delete claims!

[bushwallyta271828]

TODO:

• I need to remove the console.log calls in claims-context.tsx.
• I need to fix the bug where probabilityValue isn't working for candidates related to 0.
• I need to fix the bug where "*" for multiplication isn't working.

[bushwallyta271828]

TODO:

• I need to fix the bug where probabilityValue isn't working for candidates related to 0.
• I need to remove the console.log calls in claims-context.tsx.
• I need to compute and save parse and immediate dependencies at text save time, not at content render time.
• I need to actually implement deletion.

[bushwallyta271828]

(Update: conditional probability parsing is still being bizarre with 0, and Docker also started behaving bizarrely and I had to clear the cache.)

[bushwallyta271828]

Oh wait a minute, I think I see the bug: 0 is being evaluated as falsy! I need to explicitly check if my objects equal null!

[bushwallyta271828]

It works almost all the time, but it occasionally crashes. I'm getting a RangeError: Invalid array length at Array.push.

[bushwallyta271828]

TODO:

• I need to iron out the bugs in the parser.
• I need to remove the console.log calls.
• I need to compute and save parse and immediate dependencies at text save time, not at content render time.
• I need to actually implement deletion.

[bushwallyta271828]

Now it's crashing on (aaa implies aaa) implies aaa.

[bushwallyta271828]

Okay, I think the parser is actually working! I can't get it to crash or give strange answers after some playing around with it. Let's finally move on!

That said, the syntax text has a few bugs.

[bushwallyta271828]

Those bugs are now fixed. TODO:

• I need to remove the console.log calls.
• I need to compute and save parse and immediate dependencies at text save time, not at content render time.
• I need to actually implement deletion.

[bushwallyta271828]

TODO:

• I need to implement the full-screen-warning UI element for deletion.
• I need to implement getAncestors so that the full-screen warning has something to display.
• I need to implement deleteClaim (using getAncestors as a helper function).

TODO for future branches:

• Rename zeroth-order to constraint
• Go through parsing files and use "never" to get type checker to verify that cases are exhaustive.

[bushwallyta271828]

TODO:

• I need to implement getAncestors so that the full-screen warning has something to display.
• I need to implement deleteClaim (using getAncestors as a helper function).

TODO for future branches:

• Rename zeroth-order to constraint
• Go through parsing files and use "never" to get type checker to verify that cases are exhaustive.

[bushwallyta271828]

TODO for future branches:

• Rename zeroth-order to constraint
• Go through parsing files and use "never" to get type checker to verify that cases are exhaustive.

[bushwallyta271828]

Looks good! Let's merge!

[bushwallyta271828]

I'm actually going to drop "Go through parsing files and use "never" to get type checker to verify that cases are exhaustive." I need to move on from the parser. If it's giving me problems in the future I can always go back and clean it up.