git.iko.soy/Idris-dev
on d25bf25 help sign in
Idris-dev/src/Idris
2 folders, 46 files
../ Core/Partial evaluator fixes Elab/Partial evaluator fixes ASTUtils.hsTidy up the IState when classes are undefined AbsSyntax.hsFix for pattern vars in transforms AbsSyntaxTree.hsFactor `addSyntax` out of `syntaxDecl` parser Apropos.hsSave terms in docstrings CaseSplit.hsAnnotate several top-level functions Chaser.hsAdded FIXME from Chaser.hs. CmdOptions.hsFix for optparse-applicative breaking change Colours.hsAdd semantic highlighting for postulates Completion.hsAdd completion support for newer command arg types Coverage.hsAdd transformation rules for partial evaluation DSL.hsKeep type arguments of = when unelaborating DataOpts.hsAdded TODO for DataOpts.hs DeepSeq.hsSave terms in docstrings Delaborate.hsAdd syntax for example code to docs Docs.hsAdd syntax for example code to docs Docstrings.hsAdd syntax for example code to docs ElabDecls.hsPartial evaluator fixes ElabQuasiquote.hsSupport nested quasiquotation ElabTerm.hsSolve more implicits before 'case' elaboration 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.hsMerge branch 'master' of git://github.com/idris-lang/Idris-dev into partial-eval IdeSlave.hsAdded TODOs from IdeSlave.hs IdrisDoc.hsSave terms in docstrings Imports.hsSupport builds that doesn't use cabal for libs and rts Inliner.hs Interactive.hsPartial evaluator fixes Output.hsAdd syntax for example code to docs ParseData.hsAdded TODOs from ParseData.hs and remove redundant comments. ParseExpr.hsFix for pattern vars in transforms ParseHelpers.hsAdded TODOs for ParseHelpers.hs ParseOps.hsMerge branch 'master' of github.com:markuspf/Idris-dev into markuspf-master Parser.hsFix for pattern vars in transforms PartialEval.hsPartial evaluator fixes Primitives.hsLifted the TODOs from Primitives.hs ProofSearch.hsEXPERIMENTAL uniqueness types Prover.hsMake output from :t name annotate with terms Providers.hsAnnotate several top-level functions REPL.hs:let at the REPL now supports syntax extensions! REPLParser.hsAdd transformation rules for partial evaluation Transforms.hsPartial evaluator fixes TypeSearch.hsSave terms in docstrings Unlit.hsAdded TODOs for Unlit.hs WhoCalls.hsMark 'case' on unique types as updatable