diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2018-04-16 08:14:53 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-04-16 08:14:53 -0500 |
commit | c4a2d444a601ab8131d2088065bbc8bd24ed7696 (patch) | |
tree | edecb385baef79096f035dcbb4d6bceec746fa25 /NEWS | |
parent | 37a080c02e769cc2fe5427c11a5f0dc362c25465 (diff) |
Skolemize candidate rewrite rule checks (#1777)
Diffstat (limited to 'NEWS')
0 files changed, 0 insertions, 0 deletions