search

RAIRLab / Peirce-My-Heart

A graphical web application for interactive theorem proving in Charles Peirce's alpha existential graph system.
https://rairlab.github.io/Peirce-My-Heart/
MIT License
8 stars 0 forks source link

374 Double Cut can have different Atoms on both layers! #376

Closed DawnTheWitch closed 5 months ago

DawnTheWitch commented 5 months ago

Created a helper function to handle determining if a double cut is currently in a valid position and a helper function for that to make sure no the outer cut has no additional children except for the inner cut.