Safe Haskell | None |
---|
Support for command-line completion at the REPL and in the prover
Documentation
replCompletion :: CompletionFunc IdrisSource
Complete REPL commands and defined identifiers
:: [String] | The names of current local assumptions |
-> CompletionFunc Idris |
Complete tactics and their arguments