../ Core/Convert Text to ByteStrings directly12 years ago Elab/Merge branch 'master' of github.com:idris-lang/Idris-dev12 years ago ASTUtils.hsTidy up the IState when classes are undefined12 years ago AbsSyntax.hsRename Tactical to Elab12 years ago AbsSyntaxTree.hsMerge branch 'master' of github.com:idris-lang/Idris-dev12 years ago Apropos.hsAdd info field to App12 years ago CaseSplit.hsMove ElabTerm into Elab.Term12 years ago Chaser.hsSet encoding for read files.12 years ago CmdOptions.hsissue #2004 resolved by --consolewith cmd line param12 years ago Colours.hsIndicate the end of each escape sequence in the prompt string, since there's no way for Haskeline to detect it automatically.12 years ago Completion.hsAdd function to list installed packages12 years ago Coverage.hsAdd info field to App12 years ago DSL.hsRename Tactical to Elab12 years ago DataOpts.hsfix divNat segfaulting12 years ago DeepSeq.hsRename Tactical to Elab12 years ago Delaborate.hsAdd info field to App12 years ago Docs.hsFix build errors with GHC 7.10.1. Fixes #208012 years ago Docstrings.hsFix build errors with GHC 7.10.1. Fixes #208012 years ago ElabDecls.hsMove ElabTerm into Elab.Term12 years ago ElabQuasiquote.hsRename Tactical to Elab12 years ago Erasure.hsAdd info field to App12 years ago ErrReverse.hsAdd info field to App12 years ago Error.hsRename Tactical to Elab12 years ago Help.hsVarious cleanup of the REPL, mainly with parsing and completion12 years ago IBC.hsExport list for IBC.hs12 years ago IdeMode.hsRemove Buffer/BitVectors from compiler/C rts12 years ago IdrisDoc.hsMerge remote-tracking branch 'refs/remotes/upstream/master' into wip/tactical12 years ago Imports.hsEnforce case sensitivity of imports for OSX.12 years ago Inliner.hsAdd info field to App12 years ago Interactive.hsMove ElabTerm into Elab.Term12 years ago Output.hsFix build errors with GHC 7.10.1. Fixes #208012 years ago ParseData.hsSupport type errors in docstrings12 years ago ParseExpr.hsMerge branch 'master' of github.com:idris-lang/Idris-dev12 years ago ParseHelpers.hsAdd 'determining parameters' for classes12 years ago ParseOps.hsWIP: Better error messages for parsing operators12 years ago Parser.hsMove ElabTerm into Elab.Term12 years ago PartialEval.hsAdd info field to App12 years ago Primitives.hsOverdid the external primitives12 years ago ProofSearch.hsAdd info field to App12 years ago Prover.hsMove ElabTerm into Elab.Term12 years ago Providers.hsLibrary rearrangement done.12 years ago REPL.hsMove ElabTerm into Elab.Term12 years ago REPLParser.hs:exec can take an expression as an argument12 years ago Reflection.hsMerge branch 'master' of github.com:idris-lang/Idris-dev12 years ago Transforms.hsAdd info field to App12 years ago TypeSearch.hsAdd info field to App12 years ago Unlit.hsAdded TODOs for Unlit.hs12 years ago WhoCalls.hsAdd info field to App12 years ago