Wheeee! I've just got automatic case-splitting for Idris working in vim. I'm in danger of having too much fun with this.
@fmapE It is. You need to load the vim script in contribs, and it needs a REPL to be running on the file you're editing.
You can add location information to your Tweets, such as your city or precise location, from the web and via third-party applications. You always have the option to delete your Tweet location history. Learn more
@fmapE It is. You need to load the vim script in contribs, and it needs a REPL to be running on the file you're editing.