idris-lang/Idris-dev — pull request #915 by david-christiansen (2014-02-20 19:22:28+00:00)
Title: Enable refinement by infix operators in prover

Fixes #873.