Name: INblobs Version: 0.1.1 License: LGPL License-file: LICENCE-LGPL Author: Arjan van IJzendoorn, Martijn Schrage, Malcolm Wallace, Miguel Vilaca Maintainer: jmvilaca@di.uminho.pt, danielgomesmendes@gmail.com Synopsis: Editor and interpreter for Interaction Nets Description: 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. Homepage: http://haskell.di.uminho.pt/jmvilaca/INblobs/ Category: Compilers/Interpreters Data-files: INblobs.xsd, html/HowToUse.html Build-type: Simple Cabal-Version: >=1.2 flag splitBase Executable INblobs Main-is: Main.hs Build-Depends: haskell98, wx >= 0.9, wxcore >= 0.9, HaXml >= 1.19, polyparse if flag(splitBase) Build-Depends: base >= 3, process, containers, directory, pretty else Build-Depends: base < 3 Hs-Source-Dirs: src Other-Modules: Colors Common CommonIO CommonUI Constants ContextMenu DisplayOptions Document DocumentFile GUIEvents INChecks INChecksUI INReduction INReductionStrategies INRule INRules INTextual INTextualUI InfoKind Math Network NetworkControl NetworkFile NetworkUI NetworkView Operations PDDefaults Palette PersistentDocument Ports SafetyNet Shape SpecialSymbols State StateUtil Functional.Compiler Functional.Language Functional.Parser Functional.UI Extensions: ForeignFunctionInterface, MultiParamTypeClasses, FunctionalDependencies, FlexibleInstances, ParallelListComp