../ Core/Change Instance to implementation (#3404)10 years ago Elab/Change Instance to implementation (#3404)10 years ago Info/Addition of a command line flag `--info`.10 years ago Package/Some internal structural Changes.10 years ago Parser/Change Instance to implementation (#3404)10 years ago REPL/Use `fullExpr` instead of `typeExpr` in search10 years ago ASTUtils.hsreplace code level class symbol with inferface10 years ago AbsSyntax.hsChange Instance to implementation (#3404)10 years ago AbsSyntaxTree.hsChange Instance to implementation (#3404)10 years ago Apropos.hsAdded documentation for modules.10 years ago CaseSplit.hsreplace code level class symbol with inferface10 years ago Chaser.hsAdded `--sourcepath` option10 years ago CmdOptions.hsAllow specifying "--port none" to not start the interpreter server10 years ago Colours.hsUse GHC generics for NFData instances10 years ago Completion.hsREPL improvements10 years ago Coverage.hsFix performance regression in coverage checker10 years ago DSL.hsPurify Idris of "return"10 years ago DataOpts.hsAdded documentation for modules.10 years ago DeepSeq.hsAllow specifying "--port none" to not start the interpreter server10 years ago Delaborate.hsChange Instance to implementation (#3404)10 years ago Directives.hsHLint DIrected Code Cleanup10 years ago Docs.hsChange Instance to implementation (#3404)10 years ago Docstrings.hsUse GHC generics for NFData instances10 years ago ElabDecls.hsChange Instance to implementation (#3404)10 years ago Erasure.hsChange Instance to implementation (#3404)10 years ago ErrReverse.hsAdded documentation for modules.10 years ago Error.hsPurify Idris of "return"10 years ago Help.hsAdded documentation for modules.10 years ago IBC.hsChange Instance to implementation (#3404)10 years ago IdeMode.hsHLint DIrected Code Cleanup10 years ago IdrisDoc.hsChange Instance to implementation (#3404)10 years ago Imports.hsFix #3397 - ibcsubdir was broken10 years ago Info.hsAddition of a command line flag `--info`.10 years ago Inliner.hsAdded documentation for modules.10 years ago Interactive.hsChange Instance to implementation (#3404)10 years ago Main.hsAllow specifying "--port none" to not start the interpreter server10 years ago ModeCommon.hsAllow specifying "--port none" to not start the interpreter server10 years ago Output.hsDon't query width when not a tty10 years ago Package.hsChange Instance to implementation (#3404)10 years ago Parser.hsChange Instance to implementation (#3404)10 years ago PartialEval.hsUse interface instead class or type class in documentations (#3379)10 years ago Primitives.hsStore file with constraints + export10 years ago ProofSearch.hsChange Instance to implementation (#3404)10 years ago Prover.hsBuild with GHC8 and trifecta-1.610 years ago Providers.hsPurify Idris of "return"10 years ago REPL.hsWork around GHCJS's patched export of isWindows from System.FilePath10 years ago Reflection.hsChange Instance to implementation (#3404)10 years ago Transforms.hsAdded documentation for modules.10 years ago TypeSearch.hsChange Instance to implementation (#3404)10 years ago Unlit.hsAdded documentation for modules.10 years ago WhoCalls.hsAdded documentation for modules.10 years ago