10 Jun
2011
10 Jun
'11
1:04 a.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.