9 Jun
2011
9 Jun
'11
9:04 p.m.
Something like this? equivalenceClosure = fix $ \f e -> let e' = reflexivity . symmetry . transitivity $ e in if e' == e then e else f e' Cheers, -- Felipe.