@hackage / INblobs

Editor and interpreter for Interaction Nets

Latest0.1.1

About

Metadata

  • Last updated , by MiguelVilaca
  • License LicenseRef-LGPL
  • Categories Compilers and Interpreters

  • Maintained by: jmvilaca@di.uminho.pt, danielgomesmendes@gmail.com

  • Lottery factor: 0

Links

Installation

Package Flags

Use the -f option with cabal commands to enable flags

    splitbase (on by default)

Readme

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.