git.iko.soy/Idris-dev
on f0a67ff help sign in
Idris-dev/src/Idris
4 folders, 41 files
../ Core/Merge branch 'master' of github.com:idris-lang/Idris-dev Elab/Store file with constraints + export Parser/Fix ordering of dependent patterns/implicits REPL/Added documentation for modules. ASTUtils.hsAdded documentation for modules. AbsSyntax.hsStore file with constraints + export AbsSyntaxTree.hsStore file with constraints + export Apropos.hsAdded documentation for modules. CaseSplit.hsStore file with constraints + export Chaser.hsAdded documentation for modules. CmdOptions.hsAdded documentation for modules. Colours.hsAdded documentation for modules. Completion.hsRemove vestiges of pre-SpecialName names Coverage.hsGenerate cases for coverage from 'impossible' DSL.hsAdded documentation for modules. DataOpts.hsAdded documentation for modules. DeepSeq.hsStore file with constraints + export Delaborate.hsAdded more context to the no rewriting error, to include terms being rewritten with Directives.hsAdded %thaw directive Docs.hsAdded documentation for modules. Docstrings.hsAdded documentation for modules. ElabDecls.hsStore file with constraints + export Erasure.hsAdded documentation for modules. ErrReverse.hsAdded documentation for modules. Error.hsStore file with constraints + export Help.hsAdded documentation for modules. IBC.hsStore file with constraints + export IdeMode.hsAdded documentation for modules. IdrisDoc.hsUse ParentN for its intended purpose Imports.hsAdded documentation for modules. Inliner.hsAdded documentation for modules. Interactive.hsStore file with constraints + export Output.hsAdded documentation for modules. Parser.hsStore file with constraints + export PartialEval.hsAdded documentation for modules. Primitives.hsStore file with constraints + export ProofSearch.hsUse ParentN for its intended purpose Prover.hsStore file with constraints + export Providers.hsAdded documentation for modules. REPL.hsStore file with constraints + export Reflection.hsMerge branch 'master' of github.com:idris-lang/Idris-dev Transforms.hsAdded documentation for modules. TypeSearch.hsStore file with constraints + export Unlit.hsAdded documentation for modules. WhoCalls.hsAdded documentation for modules.