Add idris syntastic checker
Use haskell syntax for purescript