Flow Equivalence Code in Haskell

I’ve talked about this code for a few blog entries… so in case anyone was interested in seeing the end result:

http://patch-tag.com/r/flowequiv/snapshot/current/content/pretty

There it is.  The main function of interest is canonicalForm, defined at the very end.  This is a computational version of Franks’ construction of canonical forms of flow equivalence classes.  Sorry about the GPL license; it was to avoid an argument, and it’s unlikely this would ever be commercially useful anyway.