Safe Haskell | None |
---|
Agda.Interaction.Highlighting.Vim
Documentation
wordBounded :: String -> StringSource
toVim :: NamesInScope -> StringSource
generateVimFile :: FilePath -> TCM ()Source
Agda-2.4.0.2: A dependently typed functional programming language and proof assistant
Safe Haskell | None |
---|
Agda.Interaction.Highlighting.Vim
wordBounded :: String -> StringSource
toVim :: NamesInScope -> StringSource
generateVimFile :: FilePath -> TCM ()Source