git.iko.soy/Idris-dev
on a4faccb 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.hsSave terms in docstrings 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.hsSave terms in docstrings 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.hsMerge pull request #1556 from Helkafen/master 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