Skip to content
Snippets Groups Projects

Fix arg inference for predicates (closes #114).

Merged Matt Wala requested to merge fix-arg-inference-for-predicates into master
Compare changes
  • Side-by-side
  • Inline
Files
2
Loading