git.iko.soy/Idris-dev
on ea745fc help sign in
Idris-dev/src/Idris
5 folders, 42 files
../ Core/Fix conversion of case blocks Elab/fix typo Becuase to Because Package/Better handling of optional main in package files Parser/Record update by function application REPL/Added documentation for modules. ASTUtils.hsAdded documentation for modules. AbsSyntax.hsHLint DIrected Code Cleanup AbsSyntaxTree.hsBetter pretty printing of case blocks Apropos.hsAdded documentation for modules. CaseSplit.hsTidy case blocks in hole types Chaser.hsHLint DIrected Code Cleanup CmdOptions.hsHLint DIrected Code Cleanup 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.hsTidy case blocks in hole types 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.hsStore file with constraints + export Help.hsAdded documentation for modules. IBC.hsFix ordering of run time case trees IdeMode.hsHLint DIrected Code Cleanup IdrisDoc.hsHLint DIrected Code Cleanup Imports.hsAdded documentation for modules. 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.hsCheck the indent rule on the rhs of 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.hsTidy case blocks in hole types 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.