idris-lang/Idris-dev — pull request #1440 by Melvar (2014-07-29 23:02:43+00:00)
Title: Allow “!” to start a larger operator

fixes #1260