../ Core/Fix compilation with GHC 8.49 years ago Elab/Fix compilation with GHC 8.49 years ago Info/Alphabetize and indent imports and LANGUAGE pragmas10 years ago Package/[ fix #4255 ] Not silently accepting invalid options9 years ago Parser/Remove old eliminator generation and induction tactic (#4351)9 years ago REPL/Improve error message locations (#4210)9 years ago ASTUtils.hsRemove the empty property 'copyright'.9 years ago AbsSyntax.hsAllow capitalized pattern variables via switch9 years ago AbsSyntaxTree.hsMerge pull request #4424 from jacereda/printer-depth9 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.hsAllow capitalized pattern variables via switch9 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.hsRemove the empty property 'copyright'.9 years ago Docs.hsFix compilation with GHC 8.49 years ago Docstrings.hsFix compilation with GHC 8.49 years ago ElabDecls.hsRemove the empty property 'copyright'.9 years ago Erasure.hsRemove the empty property 'copyright'.9 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.hsBump IBC version after removing `%elim` items9 years ago IdeMode.hsRemove the empty property 'copyright'.9 years ago IdrisDoc.hsRemove old eliminator generation and induction tactic (#4351)9 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.hsRename to emitWarning9 years ago ModeCommon.hsFix efficiency problem with module chasing9 years ago Options.hsAllow capitalized pattern variables via switch9 years ago Output.hsFix repetition in Idris Highlights.8 years ago Package.hsSet environment with Idris flags while running `make`9 years ago Parser.hs[ fix ] handle empty NS + test case9 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.hsFix compilation with GHC 8.49 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