Crash while trying to apply theorem

[edegeltje]

homotopy_io_state.zip
i was told to please report my crash, so here it is.

For context on what the project is: i have found that this graphical representation of proofs is great for having a hands-on experience with Interaction Nets. The project specifically contains definitions for the interaction combinators defined by Yves LaFont in this article.

I was in the middle of optimizing the reduction of a certain combination of combinators when i tried to attach a proof, when it crashed.

I don't know a lot about the background of how the tool works and what the "proper interpretation" is of what i was doing, but i hope my description helps anyway.

p.s.
it's a very cool tool, and seems to work quite well for modeling hands-on reductions in interaction nets. thanks for making/maintaining it!