git.iko.soy/Idris-dev
on 3dfa841 help sign in
Idris-dev/src/Idris
1 folder, 35 files
../ Core/Fix logic in Executor AbsSyntax.hsUse Data.Text for variable names AbsSyntaxTree.hsUse Data.Text for variable names CaseSplit.hsUse Data.Text for variable names Chaser.hsCatch import errors in the right place Colours.hsAllow the use of the default foreground colour. Make it the colour of the prompt. Completion.hsUse Data.Text for variable names Coverage.hsUse Data.Text for variable names DSL.hsUse Data.Text for variable names DataOpts.hsUse Data.Text for variable names DeepSeq.hsMinor memory usage improvements Delaborate.hsUse Data.Text for variable names Docs.hsUse Data.Text for variable names ElabDecls.hsUse Data.Text for variable names ElabTerm.hsUse Data.Text for variable names Error.hsSupport names and terms in error reflection Help.hsSupport for the new interactive commands via the IdeSlave REPL Also, add ":addmissing" and ":addmissing!" to completions of the REPL IBC.hsUse Data.Text for variable names IdeSlave.hsMerge branch 'master' into cabal-library Imports.hsAdd a Cabal library Inliner.hsAdd a Cabal library ParseData.hsUse Data.Text for variable names ParseExpr.hsUse Data.Text for variable names ParseHelpers.hsUse Data.Text for variable names ParseOps.hsUse Data.Text for variable names Parser.hsUse Data.Text for variable names PartialEval.hsUse Data.Text for variable names Primitives.hsUse Data.Text for variable names ProofSearch.hsAdd a Cabal library Prover.hsUse Data.Text for variable names Providers.hsUse Data.Text for variable names REPL.hsUse Data.Text for variable names REPLParser.hsAllow querying the registered error handlers Transforms.hsUse Data.Text for variable names Unlit.hsAdd a Cabal library UnusedArgs.hsAdd a Cabal library