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.6.0