Agda-2.4.2: A dependently typed functional programming language and proof assistant

Safe HaskellNone

Agda.Interaction.Highlighting.Vim

Documentation

vimFile :: FilePath -> FilePathSource

escape :: String -> StringSource

wordBounded :: String -> StringSource

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

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

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

toVim :: NamesInScope -> StringSource

generateVimFile :: FilePath -> TCM ()Source