3 ms·it's mostly just induction over trees with a few old idioms for matchingby agumonkey 4y agoit's mostly just induction over trees with a few old idioms for matching