id,summary,reporter,owner,description,type,status,priority,resolution,keywords,cc,topic,difficulty,mentor
55,Improvements to the INBlobs tool developed at U. Minho,jsp@…,none,"We propose the following improvements to the [http://haskell.di.uminho.pt/jmvilaca/INblobs/ INblobs] tool developed at U. Minho:

- To fix graphical portability problems of [http://haskell.di.uminho.pt/jmvilaca/INblobs INblobs]. This implies a few tricks with [http://wxhaskell.sourceforge.net/ wxHaskell] and the wx toolkit.

- Adding new features to the tool, namely:
 * Archetypes
 * Better layout after application of reduction
 * Automatic align of nodes
 * A macro feature
 * A graphical editor for symbols (agents shapes)
 * Better verification of Interaction Net systems

== Interested Mentors ==

 * Jorge Sousa Pinto <[mailto:jsp@di.uminho.pt]>

== Interested Students ==

 * ?",proposed-project,new,,,Interaction Net interpreter,,Graphics,1 person Summer,not-accepted