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