Don't implement unification by recursion

82 points | by mathgenius 4 days ago