ucsd-progsys/liquidhaskell — pull request #209 by ranjitjhala (2014-05-17 04:12:10+00:00)
Title: Vimannot

Various tweaks to generate proper .vim.annot files without overlapping annotations, etc.