git.iko.soy/Idris-dev
on caed480 help sign in
Idris-dev/src/Idris
1 folder, 35 files
../ Core/A simpler approach to handling name shadowing AbsSyntax.hsA simpler approach to handling name shadowing AbsSyntaxTree.hsMerge branch 'master' of github.com:idris-lang/Idris-dev 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.hsMerge branch 'text-names' DSL.hsA simpler approach to handling name shadowing 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.hsFix bug in 'forget' for well-typed terms ElabTerm.hsCheck lambda bound name is valid Error.hsStrictness annotations Help.hsSupport for the new interactive commands via the IdeSlave REPL Also, add ":addmissing" and ":addmissing!" to completions of the REPL IBC.hsMerge branch 'text-names' IdeSlave.hsMerge branch 'master' into cabal-library Imports.hsStrictness annotations Inliner.hsAdd a Cabal library ParseData.hsUse Data.Text for variable names ParseExpr.hsEXPERIMENTAL: Disambiguate names in a block ParseHelpers.hsUse Data.Text for variable names ParseOps.hsMake $ built in operation, rename ($) to apply 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.hsMerge branch 'text-names' Providers.hsUse Data.Text for variable names REPL.hsMerge pull request #782 from jfdm/feature/pkg-check-only REPLParser.hsAllow querying the registered error handlers Transforms.hsUse Data.Text for variable names Unlit.hsAdd a Cabal library UnusedArgs.hsAdd a Cabal library