git.iko.soy/Idris-dev
on ee32989 help sign in
Idris-dev/src/Idris
2 folders, 46 files
../ Core/refsIn should take all the Ps Elab/Search in current elaboration stack for instances ASTUtils.hsTidy up the IState when classes are undefined AbsSyntax.hsSearch in current elaboration stack for instances AbsSyntaxTree.hsSearch in current elaboration stack for instances Apropos.hsRemoved '_|_' as a built in declaration and renamed it to 'Void', 'FalseElim' now 'VoidElim' to match up CaseSplit.hsDisallow explicit types on LHS Chaser.hsFix interactive annoyance in vim CmdOptions.hsOptimisation options Colours.hsIndicate the end of each escape sequence in the prompt string, since there's no way for Haskeline to detect it automatically. Completion.hsLifted TODO/FIXME issues to the issue tracker. Coverage.hsCoverage checker should ignore hidden arguments DSL.hsMake pattern matching consistent in lambda/let DataOpts.hsAdded TODO for DataOpts.hs DeepSeq.hsMake pattern matching consistent in lambda/let Delaborate.hsCheck for duplicate names in Can't Convert Docs.hsSupport type errors in docstrings Docstrings.hsSupport type errors in docstrings ElabDecls.hsA new primitive tactic for getting source locations ElabQuasiquote.hsMake pattern matching consistent in lambda/let ElabTerm.hsSearch in current elaboration stack for instances Erasure.hsRemove dep sets from bound variables. ErrReverse.hsFix for matchProblems Error.hsFix universe checking error Help.hsAllow :search and :apropos to search packages IBC.hsAllow :search and :apropos to search packages IdeSlave.hsSupport type errors in docstrings IdrisDoc.hsMake pattern matching consistent in lambda/let Imports.hsAllow :search and :apropos to search packages Inliner.hs Interactive.hsMake pattern matching consistent in lambda/let Output.hsUse ExceptT instead of ErrorT ParseData.hsSupport type errors in docstrings ParseExpr.hsLambdas match on pattern expressions ParseHelpers.hsAdded TODOs for ParseHelpers.hs ParseOps.hsMerge branch 'master' of github.com:markuspf/Idris-dev into markuspf-master Parser.hsMake pattern matching consistent in lambda/let PartialEval.hsRestrict PE for class dictionaries Primitives.hsLifted the TODOs from Primitives.hs ProofSearch.hsImprovement for 'auto' Prover.hsSave index file when installing a package Providers.hsAnnotate several top-level functions REPL.hsMerge branch 'master' of github.com:idris-lang/Idris-dev REPLParser.hsAllow :search and :apropos to search packages Transforms.hsFix for name clashes when applying transformations TypeSearch.hsAllow :search and :apropos to search packages Unlit.hsAdded TODOs for Unlit.hs WhoCalls.hsMark 'case' on unique types as updatable