VF2 This is Haskell based implementation of VF2 algorithm To do Refactor core of algorithm, current implementation may be really suboptimal Write QuckCheck tests to randomly test isomorpism laws Create version for directed graphs