git.iko.soy/Idris-dev
on 4e69658 help sign in
Idris-dev/src/Idris
4 folders, 41 files
../ Core/Unbreak doc build Elab/Tidy case blocks in hole types Parser/Record update by function application REPL/Added documentation for modules. ASTUtils.hsAdded documentation for modules. AbsSyntax.hsHLint DIrected Code Cleanup AbsSyntaxTree.hsUse GHC generics for NFData instances 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.hsAdded documentation for modules. Parser.hsBuild with GHC8 and trifecta-1.6 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.