idris-lang/Idris-dev — pull request #1421 by Melvar (2014-07-23 15:37:05+00:00)
Title: Allows parsing operators that start with “<==”

Fixes #1321