| Agda-2.2.6: A dependently typed functional programming language and proof assistant | Source code | Contents | Index

Agda.Interaction.Highlighting.Vim

Documentation

vimFile :: FilePath -> FilePath | Source

escape :: String -> String | Source

keyword :: String -> [String] -> String | Source

match :: String -> [String] -> String | Source

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

toVim :: NamesInScope -> String | Source

generateVimFile :: FilePath -> TCM () | Source

Produced by Haddock version 2.4.2