Makes idris code look pretty in vim