Interaction Net simulator

pure html/js visualisation of Interaction Combinators, see victor taelin for explanations

try it out now

navigation:

• space to pause/play
• mouse drag to move nodes around, selected nodes will try to interact first.
• command enter to toggle code view
• https://hvmvis.github.io?@main=({(a,R)(a,b)}(b,R)) add ? + formula to the url to visaualize any net
• < / > arrows to skip backward & forward in time

contribution

please make sure minimal amount of code is added. Goal is to keep this repo lean and mean >:(