Agda-2.2.6: A dependently typed functional programming language and proof assistant
Agda.Interaction.Highlighting.Vim
vimFile :: FilePath -> FilePathSource
escape :: String -> StringSource
keyword :: String -> [String] -> StringSource
match :: String -> [String] -> StringSource
matches :: [String] -> [String] -> [String] -> [String] -> [String]Source
toVim :: NamesInScope -> StringSource
generateVimFile :: FilePath -> TCM ()Source