INblobs-0.1.1: INblobs.cabal
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 (<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.
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