../ Core/Lift out proof term into a separate module12 years ago Elab/Split elaborator into multiple source files12 years ago ASTUtils.hsAdd support for :set warnreach.12 years ago AbsSyntax.hsprovide a Handle for IdeSlave, used to read from and write to (instead of hardcoded stdin/stdout) also send protocol-version message when the client connects also accept a single client connection when --ideslave-socket is provided (I don't see any reason …12 years ago AbsSyntaxTree.hsprovide a Handle for IdeSlave, used to read from and write to (instead of hardcoded stdin/stdout) also send protocol-version message when the client connects also accept a single client connection when --ideslave-socket is provided (I don't see any reason …12 years ago Apropos.hs:apropos syntax for binders12 years ago CaseSplit.hsSplit elaborator into multiple source files12 years ago Chaser.hsBring module loading into Idris monad12 years ago CmdOptions.hsprovide a new option, --ideslave-socket, for an ideslave listening on a socket12 years ago Colours.hsAdd semantic highlighting for postulates12 years ago Completion.hsFinal cleanup/check of case tactic implementation12 years ago Coverage.hsDisable old productivity checker12 years ago DSL.hsKeep type arguments of = when unelaborating12 years ago DataOpts.hsRemove collapsibility and forceability altogether.13 years ago DeepSeq.hsAdd tactics "skip" and "fail"12 years ago Delaborate.hsSpot name clases in error messages12 years ago Docs.hsMerge branch 'master' into parenthasizeInfix12 years ago Docstrings.hsEnable word-wrapping in docstrings13 years ago ElabDecls.hsSplit elaborator into multiple source files12 years ago ElabQuasiquote.hsKeep type arguments of = when unelaborating12 years ago ElabTerm.hsAdd %no_implicit directive12 years ago Erasure.hsMerge remote-tracking branch 'upstream/master' into cantResolveAlts12 years ago ErrReverse.hsFix for matchProblems13 years ago Error.hsFix missing function call from 723d972b212 years ago Help.hsAdded warranty information to the Idris Repl.12 years ago IBC.hsAdd %no_implicit directive12 years ago IdeSlave.hsprovide a Handle for IdeSlave, used to read from and write to (instead of hardcoded stdin/stdout) also send protocol-version message when the client connects also accept a single client connection when --ideslave-socket is provided (I don't see any reason …12 years ago IdrisDoc.hsKeep type arguments of = when unelaborating12 years ago Imports.hsSupport builds that doesn't use cabal for libs and rts12 years ago Inliner.hsAdd a Cabal library13 years ago Interactive.hsprovide a Handle for IdeSlave, used to read from and write to (instead of hardcoded stdin/stdout) also send protocol-version message when the client connects also accept a single client connection when --ideslave-socket is provided (I don't see any reason …12 years ago Output.hsprovide a Handle for IdeSlave, used to read from and write to (instead of hardcoded stdin/stdout) also send protocol-version message when the client connects also accept a single client connection when --ideslave-socket is provided (I don't see any reason …12 years ago ParseData.hsMerge branch 'master' of https://github.com/idris-lang/Idris-dev into feature/casetactic12 years ago ParseExpr.hsAllow “!” to start a larger operator12 years ago ParseHelpers.hsSupport multiple let bindings12 years ago ParseOps.hsKeep type arguments of = when unelaborating12 years ago Parser.hsprovide a Handle for IdeSlave, used to read from and write to (instead of hardcoded stdin/stdout) also send protocol-version message when the client connects also accept a single client connection when --ideslave-socket is provided (I don't see any reason …12 years ago PartialEval.hsAdded some additional documentation for partial evaluation12 years ago Primitives.hsAdd a prim__systemInfo primitive.12 years ago ProofSearch.hsAdd an optional depth to 'search' tactic12 years ago Prover.hsprovide a Handle for IdeSlave, used to read from and write to (instead of hardcoded stdin/stdout) also send protocol-version message when the client connects also accept a single client connection when --ideslave-socket is provided (I don't see any reason …12 years ago Providers.hsDistinguish postulate providers and type providers at use site12 years ago REPL.hsprovide a Handle for IdeSlave, used to read from and write to (instead of hardcoded stdin/stdout) also send protocol-version message when the client connects also accept a single client connection when --ideslave-socket is provided (I don't see any reason …12 years ago REPLParser.hsFixed wrong handling of whitespace between commands and arguments12 years ago Transforms.hsUse Data.Text for variable names13 years ago TypeSearch.hsprovide a Handle for IdeSlave, used to read from and write to (instead of hardcoded stdin/stdout) also send protocol-version message when the client connects also accept a single client connection when --ideslave-socket is provided (I don't see any reason …12 years ago Unlit.hsPrepared data structure of FC for spanning, and added the span of the last token parsed to Idris13 years ago WhoCalls.hsAdd :who-calls and :calls-who to IDESlave13 years ago