git.iko.soy/Idris-dev
on 259f544 help sign in
Idris-dev/src/Idris
2 folders, 46 files
../ Core/Add annotations for :search result classification Elab/Use exact name lookup when building from ibc ASTUtils.hsTidy up the IState when classes are undefined AbsSyntax.hsEitherErr Applicative for Functor-Applicative-Monad_Proposal AbsSyntaxTree.hsAdd annotations for :search result classification Apropos.hsStore kind in Pi binders CaseSplit.hsAnnotate several top-level functions Chaser.hsBring module loading into Idris monad CmdOptions.hsFix typo in help message (language extension) 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.hsEXPERIMENTAL uniqueness types Delaborate.hsStore kind in Pi binders Docs.hsMerge branch 'master' into parenthasizeInfix Docstrings.hsEnable word-wrapping in docstrings ElabDecls.hsFix universe errors, update tests ElabQuasiquote.hsKeep type arguments of = when unelaborating ElabTerm.hsDon't pass used unique variables to metavars Erasure.hsStore kind in Pi binders 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.hsUse exact name lookup when building from ibc IdeSlave.hsAdd annotations for :search result classification IdrisDoc.hsKeep type arguments of = when unelaborating Imports.hsSupport builds that doesn't use cabal for libs and rts Inliner.hs Interactive.hsStore kind in Pi binders Output.hsAdding a prettyprinted message for undefining names ParseData.hsMerge branch 'master' of https://github.com/idris-lang/Idris-dev into feature/casetactic ParseExpr.hsAdd Borrowed types ParseHelpers.hsRemove all the handle arguments ParseOps.hsMake unary "-" use the Neg typeclass Parser.hsUse strings for code generators PartialEval.hsAnnotate several top-level functions Primitives.hsFix universe errors, update tests ProofSearch.hsEXPERIMENTAL uniqueness types Prover.hsStop encoding prover messages as output Providers.hsAnnotate several top-level functions REPL.hsAdd :printdef command to show the definition of a pattern-matching operation REPLParser.hsAdd :printdef command to show the definition of a pattern-matching operation Transforms.hsMark 'case' on unique types as updatable TypeSearch.hsAdd annotations for :search result classification 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