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