INblobs

Editor and interpreter for Interaction Nets

http://haskell.di.uminho.pt/jmvilaca/INblobs/

Latest on Hackage:0.1.1

This package is not currently in any snapshots. If you're interested in using it, we recommend adding it to Stackage Nightly. Doing so will make builds more reliable, and allow stackage.org to host generated Haddocks.

LicenseRef-LGPL licensed by Arjan van IJzendoorn, Martijn Schrage, Malcolm Wallace, Miguel Vilaca

INblobs is a visual tool developed at Minho for integrated development with Interaction Nets (http://en.wikipedia.org/wiki/Interaction_nets). INblobs includes a visual editor that allows users to edit both interaction nets and interaction rules; nets may then be reduced within the tool, or else exported in a text format to be given as input to other tools.