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