<html>
<head>
<title>INblobs editor</title>
<meta name="keywords" content="IN, Interaction Nets, editor, interpreter, INblobs" />
<meta name="description" content="Free Interaction Nets editor and interpreter." />
</head>
<body>
<center>
<h1>INblobs</h1>
<h2>An editor and interpreter for Interaction Nets</h2>
<a href="INblobs.png"><img src="INblobs.png" alt="INblobs editor" width=431.5px weight=406.5px caption="click on picture to enlarge"/></a>
</center>
<p/>
INblobs is an editor and interpreter for Interaction Nets.<p/>
It's built on top of the front-end <a href="http://www.cs.york.ac.uk/fp/darcs/Blobs/">Blobs</a> from Arjan van IJzendoorn, Martijn Schrage and Malcolm Wallace.
<p/>
INblobs is being developed by <a href="http://www.di.uminho.pt/~jmvilaca">Miguel Vilaça</a> (<a href="mailto:jmvilaca@di.uminho.pt?subject=INblobs">jmvilaca@di.uminho.pt</a>) at <a href="http://www.uminho.pt">University of Minho</a>.
<p/>
<center>
<a href="#download">Download</a><br />
<a href="#tools">Necessary Tools</a><br />
<a href="#pre-compiled">Pre-compiled versions</a><br />
<a href="#bugs">Bugs</a><br />
<a href="#to_do">To Do list</a><br />
<a href="html/HowToUse.html">How to use INblobs</a><br />
<a href="html/Installation.html">Installation from sources</a><br />
</center>
<p/>
<h3><a name="download">Download</a></h3>
To use INblobs you must make a copy of the <a href="http://darcs.net/">darcs</a> repository.<p/>
<code> darcs get http://haskell.di.uminho.pt/jmvilaca/INblobs</code>
<p/>
or copy the latest tarball <a href="INblobs.tar.gz">INblobs.tar.gz</a>.
<p/>
The repository is browsable here through <a href="http://haskell.di.uminho.pt/cgi-bin/darcsweb.cgi?r=INblobs;a=summary">darcsweb</a>
<p/>
<h3><a name="tools">Necessary Tools</a></h3>
INblobs uses the following tools and/or libraries:
<ul>
<li> <a href="http://haskell.org/ghc/">GHC</a> 6.2.2 or later
<li> <a href="http://wxhaskell.sourceforge.net/">wxHaskell</a> 0.9.0 or later
<li> <a href="http://www.cs.york.ac.uk/fp/HaXml-1.14/">HaXml</a> 1.19 or later
</ul>
<h3><a name="pre-compiled">Pre-compiled versions</a></h3>
In here you can avoid to install the necessary tools/libraries. <br>
See if there is a pre-compiled version for your platform.
<h4>Windows XP and Vista</h4>
<ol>
<li> Simply download <a href="INblobs.zip">INblobs for Windows</a>;
<li> extract from file (the archive already has a containing folder);
<li> run the executable inside the folder;
<li> experiment INblobs.
</ol>
<p><b>Note:</b> When you run the executable, if you see the error message <i>The applicattion failed to initialize properly (0xc0150002). Click OK to terminate the application.</i> then you need to install the
<a href="http://www.microsoft.com/downloads/details.aspx?FamilyID=200b2fd9-ae1a-4a14-984d-389c36f85647&DisplayLang=en">Microsoft Visual C++ 2005 SP1 Redistributable Package</a>.</p>
<h4>Mac Os X</h4>
Build and tested in version 10.4 (PowerPC).</br>
Had been also successfully tested in Mac Os X 10.4 (Intel).
<ol>
<li> Install GHC 6.4 (ensure that is 6.4 and not 6.4.X) (<a href="http://www.haskell.org/ghc/dist/6.4/MacOSX/GHC-6.4.pkg.zip">download here</a>)
<li> Install wxHaskell for Mac (<a href="http://prdownloads.sourceforge.net/wxhaskell/wxhaskell-bin-mac2.5.4-ghc6.4-0.9.4-0.dmg?download">download here</a>)
<li> Download <a href="INblobs.dmg">INblobs for Mac Os X 10.4</a> and run <i>INblobs.app</i>.<br/>
Try the examples that are in the <i>.dmg</i> file.
</ol>
<h4>Linux</h4>
Works from sources.
<h3><a name="bugs">Bugs</a></h3>
If you find a bug please report it to <a href="mailto:jmvilaca@di.uminho.pt?subject=INblobs bug">jmvilaca@di.uminho.pt</a> with subject <i>INblobs bug</i>.
<p/>
<h4><a name="known_bugs">Known bugs</a></h4>
<ul>
<li> When reducing, the application shows the rule used, but doesn't actualize the selection in the rules tree.
<li> Geometric problems: sometimes, some buttons disappear and the user needs to resize windows or move splitters to fix that.
</ul>
<h3><a name="to_do">To Do list</a></h3>
<ul>
<li> implement archetype like in the paper of LOPSTR05
<li> automatic alignment of nodes
<li> better graphical creator of new symbols; allowing new shapes and full point-and-click creation
<li> generation of a printed version of the full IN system.
<li> IN system generalization that do not need explicit &epsilon and &delta agents
<li> user defined rule templates
<li> hierarchical rules
<li> multiple nets for the same system
</ul>
<!-- Begin Webstats4U code -->
<!-- Title: INblobs editor -->
<!-- URL: http://haskell.di.uminho.pt/jmvilaca/INblobs/ --> <script language="JavaScript" type="text/javascript" src="http://m1.webstats4u.com/m.js">
</script>
<script language="JavaScript" type="text/javascript">
<!--
webstats4u("ADvijwhZVDBAps2sc4RDtnD95eWg", 0); // --> </script> <noscript> <a target="_blank" href="http://www.webstats4u.com/stats?ADvijwhZVDBAps2sc4RDtnD95eWg"><img
src="http://m1.webstats4u.com/n?id=ADvijwhZVDBAps2sc4RDtnD95eWg"
border="0" width="18" height="18"
alt="Webstats4U - Free web site statistics Personal homepage website counter"></a><br> <a target="_blank" href="http://www.webstats4u.com/">Free counter</a> </noscript>
<!-- End Webstats4U code -->
</body>
</html>