[Haskell-cafe] Graphical representation of Haskell code

[Stephen Tetley]

Hello All

I seem to remember the graphical notation 'interaction nets' as having
a well defined translation into the lambda calculus (so one wouldn't
need to invent or formalize a new notation). As I'm no longer a
student and don't have access to the ACM digital library I haven't
been able to validate this. Maybe someone can comment?

Interesting the Wikipedia page for interaction nets points to Hackage:

http://hackage.haskell.org/cgi-bin/hackage-scripts/package/INblobs-0.1.1


Best wishes

Stephen