idris-lang/Idris-dev — pull request #950 by JanBessai (2014-03-05 11:47:17+00:00)
Title: Treat (=) as a special function name.

Includes a regression test.

Fixes #884