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!
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!