Editor and interpreter for Interaction Nets

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 to host generated Haddocks.

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 ( 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.

Used by 1 package:
comments powered byDisqus