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