How would you describe them?
An interactive playground for building, exploring, and simulating interaction nets and Lafont's interaction combinators.
