An error occurred while fetching folder content.

Matt Wala
authored
Change the code to do what the previous code tried to do, which is to match free variables only after matching the more complex terms. This avoids iterating over all possible subsets of the RHS.
Name | Last commit | Last update |
---|