git.iko.soy/Idris-dev
on 407cf60 help sign in
Idris-dev/src/Idris
1 folder, 36 files
../ Core/Remove | annotation, make Force/Delay implicit AbsSyntax.hsReport errors loading files using semantic highlighting AbsSyntaxTree.hsMerge remote-tracking branch 'upstream/master' into semantic-pprint CaseSplit.hsRemove | annotation, make Force/Delay implicit Chaser.hsAdd check for module alias clashes. Colours.hsAllow the use of the default foreground colour. Make it the colour of the prompt. Completion.hsAutomatically detect console width Coverage.hsRemove | annotation, make Force/Delay implicit DSL.hsProper pretty-printing of dependent pairs DataOpts.hsPerformance/compiler temporary hack: %erase DeepSeq.hsProper pretty-printing of dependent pairs Delaborate.hsFix for metavariables in type declarations Docs.hsUse Data.Text for variable names ElabDecls.hsMerge branch 'master' of github.com:idris-lang/Idris-dev into typed-laziness ElabTerm.hsRemove | annotation, make Force/Delay implicit ErrReverse.hsAdded %error_reverse annotation Error.hsReport errors loading files using semantic highlighting Help.hsAutomatically detect console width IBC.hsProper pretty-printing of dependent pairs IdeSlave.hsReport errors loading files using semantic highlighting Imports.hsStrictness annotations Inliner.hsAdd a Cabal library ParseData.hsAdded %error_reverse annotation ParseExpr.hsRemove | annotation, make Force/Delay implicit ParseHelpers.hsMove parsing of 'case' out of simpleExpr ParseOps.hsFix for metavariables in type declarations Parser.hsUse pretty-printer for errors in imports PartialEval.hsUse Data.Text for variable names Primitives.hsMove buffer offset handling into idris code ProofSearch.hsImprove inference in monadic code Prover.hsDon't give INTERNAL ERROR when abandoning a proof Providers.hsWhitespace cleanup REPL.hsTurn of width detection in batch mode REPLParser.hsAutomatically detect console width Transforms.hsUse Data.Text for variable names Unlit.hsAdd a Cabal library UnusedArgs.hsRemove incorrect case from unused argument trace