Flow Equivalence Code in Haskell

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.