Skip to content
Commit eb18c8db authored by Andreas Klöckner's avatar Andreas Klöckner
Browse files

Properly deal with term rewriting in the presence of subst rules. Most tests pass.

parent c54d46c7
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment