../ CaseTree.hsStrip impossible cases when building case trees14 years ago Constraints.hsDocumentation comment additions14 years ago CoreParser.hsComplete identifiers following non-whitespace14 years ago Elaborate.hsImproved type-directed name disambiguation14 years ago Evaluate.hsevTree does not handle ImpossibleCase14 years ago ProofShell.hsDisentangle Haskeline from the internals Idris14 years ago ProofState.hsFix another unification problem (solving things which shouldn't be)14 years ago ShellParser.hsFiddle with elaborator; update interp sample and test15 years ago TT.hsDocumentation comment additions14 years ago Typecheck.hsMerge branch 'bitstring' of https://github.com/bitlisp/Idris-dev into bitlisp-bitstring14 years ago Unify.hsImproved type-directed name disambiguation14 years ago