git.iko.soy/Idris-dev
on f652e05 help sign in
Idris-dev/src/Idris
6 folders, 43 files
../ Core/Fix conversion of case blocks Elab/Add source location data to PUniverse Info/Addition of a command line flag `--info`. Package/Better handling of optional main in package files Parser/Add source location data to PUniverse REPL/Added documentation for modules. ASTUtils.hsAdded documentation for modules. AbsSyntax.hsHLint DIrected Code Cleanup AbsSyntaxTree.hsRemove pretty printing reduction limit Apropos.hsAdded documentation for modules. CaseSplit.hsTidy case blocks in hole types Chaser.hsHLint DIrected Code Cleanup CmdOptions.hsAddition of a command line flag `--info`. Colours.hsUse GHC generics for NFData instances Completion.hsHLint DIrected Code Cleanup Coverage.hsProductivity checker tweak DSL.hsAdded documentation for modules. DataOpts.hsAdded documentation for modules. DeepSeq.hsUse GHC generics for NFData instances Delaborate.hsAdd source location data to PUniverse Directives.hsHLint DIrected Code Cleanup Docs.hsFixes #3264 Show auto implicit documentaton in Idris Doc. Docstrings.hsUse GHC generics for NFData instances ElabDecls.hsTotality checker mutual fix Erasure.hsAdded documentation for modules. ErrReverse.hsAdded documentation for modules. Error.hsAdd source location data to PUniverse Help.hsAdded documentation for modules. IBC.hsAdd source location data to PUniverse IdeMode.hsHLint DIrected Code Cleanup IdrisDoc.hsHLint DIrected Code Cleanup Imports.hsAdded documentation for modules. Info.hsAddition of a command line flag `--info`. Inliner.hsAdded documentation for modules. Interactive.hsHLint DIrected Code Cleanup Output.hsDon't query width when not a tty Package.hsBetter handling of optional main in package files Parser.hsUnify almost identical checkFixity' functions. PartialEval.hsAdded documentation for modules. Primitives.hsStore file with constraints + export ProofSearch.hsHLint DIrected Code Cleanup Prover.hsBuild with GHC8 and trifecta-1.6 Providers.hsAdded documentation for modules. REPL.hsAdded new items to Idris.Info Reflection.hsHLint DIrected Code Cleanup Transforms.hsAdded documentation for modules. TypeSearch.hsStore file with constraints + export Unlit.hsAdded documentation for modules. WhoCalls.hsAdded documentation for modules.