japesinator/vim-IdrisConceal — pull request #1 by LeifW (2014-05-01 23:33:44+00:00)
Title: Remove some Haskell operators not present in Idris

Also removed the logically questionable mapping of () (Unit) to ∅.
≡ for == might be questionable, too. A lot of this, like `>-`, aren't present in the Idris REPL and I don't even know what they are. Things like `sqrt`, `pi`, and `notElem`, aren't (currently) present either, but might be at some point