  We considers how a particular kind of graph corresponds to multiplicative
intuitionistic linear logic formula. The main feature of the graphical notation
is that it absorbs certain symmetries between conjunction and implication. We
look at the basic definitions and present details of an implementation in the
functional programming language Standard ML. This provides a functional
approach to graph traversal and demonstrates how graph isomorphism be
implemented in just a few lines of readable code. This works takes the initial
steps towards a graphical language and toolkit for working with logic formula
and derivations.
