search

ubc-carnap-team / Rudolf

Truth Tree Widget for Carnap
2 stars 3 forks source link

Problem with new arrows #67

Closed orbit-stabilizer closed 4 years ago

orbit-stabilizer commented 4 years ago

The new arrows from #65 aren't working as intended with closing branches with contradictions:

arrows

Edit: Same thing with marking branches as finished.

mbecker20 commented 4 years ago

I'll look into this. I'm pretty sure I know what the problem is.

mbecker20 commented 4 years ago

closed with PR #68