@hackage INblobs0.1.1
Editor and interpreter for Interaction Nets
Categories
License
LicenseRef-LGPL
Maintainer
jmvilaca@di.uminho.pt, danielgomesmendes@gmail.com
Links
- Homepage
- Documentation
- No source repository
- Security
Versions
Installation
Dependencies (0)
Dependents (1)
@hackage/acme-everything
Package Flags
splitbase(on by default)
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.