Agda.Interaction.Highlighting.Vim

Documentation

vimFile :: FilePath -> FilePath

escape :: String -> String

wordBounded :: String -> String

keyword :: String -> [String] -> String

match :: String -> [String] -> String

matches :: [String] -> [String] -> [String] -> [String] -> [String] -> [String] -> [String]

toVim :: NamesInScope -> String

generateVimFile :: FilePath -> TCM ()