git.iko.soy/Idris-dev
on a5a63fc help sign in
Idris-dev/src/Idris
2 folders, 46 files
../ Core/Add annotations for :search result classification Elab/Save terms in docstrings ASTUtils.hsTidy up the IState when classes are undefined AbsSyntax.hsSave terms in docstrings AbsSyntaxTree.hsSupport nested quasiquotation Apropos.hsSave terms in docstrings CaseSplit.hsAnnotate several top-level functions Chaser.hsBring module loading into Idris monad CmdOptions.hsAllow REPL to run on another port (flag --port) Colours.hsAdd semantic highlighting for postulates Completion.hsAdd completion support for newer command arg types Coverage.hsUse exact name lookup when building from ibc DSL.hsKeep type arguments of = when unelaborating DataOpts.hsCache uniqueness information in NameType DeepSeq.hsSave terms in docstrings Delaborate.hsSave terms in docstrings Docs.hsLinked TODO issue found in Docs. Docstrings.hsSave terms in docstrings ElabDecls.hsRenaming of built-in datatypes works finally ElabQuasiquote.hsSupport nested quasiquotation ElabTerm.hsMerge pull request #1570 from jfdm/fixme/code-deletion Erasure.hsFirst renaming attempt ErrReverse.hsFix for matchProblems Error.hsError when using empty namespace for disambiguation at REPL Help.hsAdd :printdef command to show the definition of a pattern-matching operation IBC.hsSupport nested quasiquotation IdeSlave.hsIDE support for :printdef IdrisDoc.hsSave terms in docstrings Imports.hsSupport builds that doesn't use cabal for libs and rts Inliner.hs Interactive.hsStore kind in Pi binders Output.hsSave terms in docstrings ParseData.hsSave terms in docstrings ParseExpr.hsSupport nested quasiquotation ParseHelpers.hsSave terms in docstrings ParseOps.hsMerge branch 'master' of github.com:markuspf/Idris-dev into markuspf-master Parser.hsAdded parser FIXMEs to the issue tracker. PartialEval.hsAnnotate several top-level functions Primitives.hsRename float negation primitive for more uniformity ProofSearch.hsEXPERIMENTAL uniqueness types Prover.hsMake output from :t name annotate with terms Providers.hsAnnotate several top-level functions REPL.hsAdded REPL FIXMEs to the issue tracker. REPLParser.hsRefactor REPL command parser, improving error messages at the REPL Transforms.hsMark 'case' on unique types as updatable TypeSearch.hsSave terms in docstrings Unlit.hsPrepared data structure of FC for spanning, and added the span of the last token parsed to Idris WhoCalls.hsMark 'case' on unique types as updatable