../ Core/Partial evaluator fixes12 years ago Elab/Allow Partial Eval of lambdas/lets in static pos12 years ago ASTUtils.hsTidy up the IState when classes are undefined12 years ago AbsSyntax.hsRemoved '_|_' as a built in declaration and renamed it to 'Void', 'FalseElim' now 'VoidElim' to match up12 years ago AbsSyntaxTree.hsRenamed VoidElim to void in order to ensure further consistency12 years ago Apropos.hsRemoved '_|_' as a built in declaration and renamed it to 'Void', 'FalseElim' now 'VoidElim' to match up12 years ago CaseSplit.hsAnnotate several top-level functions12 years ago Chaser.hsAdded FIXME from Chaser.hs.12 years ago CmdOptions.hsFix for optparse-applicative breaking change12 years ago Colours.hsAdd semantic highlighting for postulates12 years ago Completion.hsAdd completion support for newer command arg types12 years ago Coverage.hsAdd transformation rules for partial evaluation12 years ago DSL.hsKeep type arguments of = when unelaborating12 years ago DataOpts.hsAdded TODO for DataOpts.hs12 years ago DeepSeq.hsRemoved '_|_' as a built in declaration and renamed it to 'Void', 'FalseElim' now 'VoidElim' to match up12 years ago Delaborate.hsRemoved '_|_' as a built in declaration and renamed it to 'Void', 'FalseElim' now 'VoidElim' to match up12 years ago Docs.hsRemoved '_|_' as a built in declaration and renamed it to 'Void', 'FalseElim' now 'VoidElim' to match up12 years ago Docstrings.hsAdd syntax for example code to docs12 years ago ElabDecls.hsRemoved '_|_' as a built in declaration and renamed it to 'Void', 'FalseElim' now 'VoidElim' to match up12 years ago ElabQuasiquote.hsSupport nested quasiquotation12 years ago ElabTerm.hsRemoved '_|_' as a built in declaration and renamed it to 'Void', 'FalseElim' now 'VoidElim' to match up12 years ago Erasure.hsRemoved '_|_' as a built in declaration and renamed it to 'Void', 'FalseElim' now 'VoidElim' to match up12 years ago ErrReverse.hsFix for matchProblems13 years ago Error.hsRemoved '_|_' as a built in declaration and renamed it to 'Void', 'FalseElim' now 'VoidElim' to match up12 years ago Help.hsAdd :printdef command to show the definition of a pattern-matching operation12 years ago IBC.hsRemoved '_|_' as a built in declaration and renamed it to 'Void', 'FalseElim' now 'VoidElim' to match up12 years ago IdeSlave.hsAdded TODOs from IdeSlave.hs12 years ago IdrisDoc.hsSave terms in docstrings12 years ago Imports.hsSupport builds that doesn't use cabal for libs and rts12 years ago Inliner.hs Interactive.hsPartial evaluator fixes12 years ago Output.hsAdd syntax for example code to docs12 years ago ParseData.hsAdded TODOs from ParseData.hs and remove redundant comments.12 years ago ParseExpr.hsRemoved '_|_' as a built in declaration and renamed it to 'Void', 'FalseElim' now 'VoidElim' to match up12 years ago ParseHelpers.hsAdded TODOs for ParseHelpers.hs12 years ago ParseOps.hsMerge branch 'master' of github.com:markuspf/Idris-dev into markuspf-master12 years ago Parser.hsFix for pattern vars in transforms12 years ago PartialEval.hsPartial evaluator fixes12 years ago Primitives.hsLifted the TODOs from Primitives.hs12 years ago ProofSearch.hsEXPERIMENTAL uniqueness types12 years ago Prover.hsMake output from :t name annotate with terms12 years ago Providers.hsAnnotate several top-level functions12 years ago REPL.hs:let at the REPL now supports syntax extensions!12 years ago REPLParser.hsRemoved '_|_' as a built in declaration and renamed it to 'Void', 'FalseElim' now 'VoidElim' to match up12 years ago Transforms.hsPartial evaluator fixes12 years ago TypeSearch.hsSave terms in docstrings12 years ago Unlit.hsAdded TODOs for Unlit.hs12 years ago WhoCalls.hsMark 'case' on unique types as updatable12 years ago