P philipzucker.com Don't implement unification by recursion 83 points mathgenius 2 years ago 62 comments
