git.iko.soy/Idris-dev
on ab2a29f help sign in
Idris-dev/src/Idris
2 folders, 46 files
../ Core/Support type errors in docstrings Elab/Merge pull request #1659 from edwinb/partial-eval ASTUtils.hsTidy up the IState when classes are undefined AbsSyntax.hsMerge pull request #1659 from edwinb/partial-eval AbsSyntaxTree.hsMerge pull request #1658 from david-christiansen/todo-removal Apropos.hsRemoved '_|_' as a built in declaration and renamed it to 'Void', 'FalseElim' now 'VoidElim' to match up CaseSplit.hsAnnotate several top-level functions Chaser.hsAdded FIXME from Chaser.hs. CmdOptions.hsOptimisation options 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.hsRemoved '_|_' as a built in declaration and renamed it to 'Void', 'FalseElim' now 'VoidElim' to match up Delaborate.hsSupport type errors in docstrings Docs.hsSupport type errors in docstrings Docstrings.hsSupport type errors in docstrings ElabDecls.hsSupport type errors in docstrings ElabQuasiquote.hsSupport nested quasiquotation ElabTerm.hsExtend PE to look under pattern matching defs Erasure.hsRemoved '_|_' as a built in declaration and renamed it to 'Void', 'FalseElim' now 'VoidElim' to match up ErrReverse.hsFix for matchProblems Error.hsRemoved '_|_' as a built in declaration and renamed it to 'Void', 'FalseElim' now 'VoidElim' to match up Help.hsAdd :printdef command to show the definition of a pattern-matching operation IBC.hsSupport type errors in docstrings IdeSlave.hsSupport type errors in docstrings IdrisDoc.hsSave terms in docstrings Imports.hsSupport builds that doesn't use cabal for libs and rts Inliner.hs Interactive.hsPartial evaluator fixes Output.hsRemoval of minor TODOs ParseData.hsSupport type errors in docstrings ParseExpr.hsSupport type errors in docstrings ParseHelpers.hsAdded TODOs for ParseHelpers.hs ParseOps.hsMerge branch 'master' of github.com:markuspf/Idris-dev into markuspf-master Parser.hsSupport type errors in docstrings PartialEval.hsPartially evaluate type class dictionaries 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.hsMerge pull request #1659 from edwinb/partial-eval REPLParser.hsRemoved '_|_' as a built in declaration and renamed it to 'Void', 'FalseElim' now 'VoidElim' to match up Transforms.hsPartially evaluate type class dictionaries TypeSearch.hsSave terms in docstrings Unlit.hsAdded TODOs for Unlit.hs WhoCalls.hsMark 'case' on unique types as updatable