../ Core/Make binary files the default when opening.8 years ago Elab/Merge pull request #4539 from zgrannan/improve-with-check8 years ago Info/Alphabetize and indent imports and LANGUAGE pragmas10 years ago Package/Merge branch 'master' of https://github.com/jmorag/Idris-dev into megaparsec78 years ago Parser/Initial transfer of {AS} grammar to Sphinx Documtation.8 years ago REPL/Change anyChar to anySingle8 years ago ASTUtils.hsRemove the empty property 'copyright'.9 years ago AbsSyntax.hsAllow capitalized pattern variables via switch9 years ago AbsSyntaxTree.hsStore hash of the IBC file's interface8 years ago Apropos.hsRemove the empty property 'copyright'.9 years ago CaseSplit.hsRemove the empty property 'copyright'.9 years ago Chaser.hsForget stylish... again...9 years ago CmdOptions.hsRename to --optimise-nat-like-types.8 years ago Colours.hsRemove the empty property 'copyright'.9 years ago Completion.hsImprove error message locations (#4210)9 years ago Coverage.hsFix checking if error is recoverable wrt coverage9 years ago DSL.hsAdd alternatives syntax to `let` in `do` blocks9 years ago DataOpts.hsRemove the empty property 'copyright'.9 years ago DeepSeq.hsRemove the empty property 'copyright'.9 years ago Delaborate.hsFix compilation with GHC 8.49 years ago Directives.hsWhy nub a list when you can use a set.8 years ago Docs.hsFix compilation with GHC 8.49 years ago Docstrings.hsFix compilation with GHC 8.49 years ago ElabDecls.hsWhy nub a list when you can use a set.8 years ago Erasure.hsHandle Inferred terms in getDepsTerm8 years ago ErrReverse.hsRemove the empty property 'copyright'.9 years ago Error.hsAdd alternatives syntax to `let` in `do` blocks9 years ago Help.hsRemove the empty property 'copyright'.9 years ago IBC.hsCount inlinable defs when building module hash8 years ago IdeMode.hsRemove the empty property 'copyright'.9 years ago IdrisDoc.hs[ docs ] definitions in the same order as in the source file8 years ago Imports.hsFaster dependency chasing9 years ago Info.hsRemove the empty property 'copyright'.9 years ago Inliner.hsRemove the empty property 'copyright'.9 years ago Interactive.hsRemove the empty property 'copyright'.9 years ago Main.hsSet stdout line buffering before building inputs8 years ago ModeCommon.hsFix efficiency problem with module chasing9 years ago Options.hsAdd --generalised-nat-hack.8 years ago Output.hsPosition is no longer reported twice8 years ago Package.hsSet environment with Idris flags while running `make`9 years ago Parser.hsRemove unnecessary import from parser8 years ago PartialEval.hsRemove the empty property 'copyright'.9 years ago Primitives.hsFix discrepancy in behaviour of run-time and complile-time str-to-int implementations8 years ago ProofSearch.hsRemove the empty property 'copyright'.9 years ago Prover.hsFormat some messages in the prover9 years ago Providers.hsRemove the empty property 'copyright'.9 years ago REPL.hsSilence stylize8 years ago Reflection.hsRemove old eliminator generation and induction tactic (#4351)9 years ago Termination.hsFix efficiency problem with 'covering'9 years ago Transforms.hsRemove the empty property 'copyright'.9 years ago TypeSearch.hsFix compilation with GHC 8.49 years ago Unlit.hsRemove the empty property 'copyright'.9 years ago WhoCalls.hsRemove the empty property 'copyright'.9 years ago