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

Safe Haskell | None

Agda.Interaction.Highlighting.Vim

# Documentation

vimFile :: FilePath -> FilePath

escape :: String -> String

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

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

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

toVim :: NamesInScope -> String

generateVimFile :: FilePath -> TCM ()