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

Safe Haskell | Safe-Infered

Agda.Interaction.Highlighting.Vim

# Documentation

on :: (t1 -> t1 -> t) -> (t2 -> t1) -> t2 -> t2 -> t

vimFile :: FilePath -> FilePath

escape :: String -> String

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

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

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

toVim :: NamesInScope -> String

generateVimFile :: FilePath -> TCM ()