../ CaseTree.hsMerge branch 'master' into bitstring14 years ago Constraints.hsFix non-termination error in universe checker14 years ago CoreParser.hsMerge branch 'master' of git://github.com/edwinb/Idris-dev into bitstring14 years ago Elaborate.hsChanged approach to unification Instead of failing immediately, maintain a list of blocked problems and refine during elaboration.14 years ago Evaluate.hsMerge branch 'master' into bitstring14 years ago ProofShell.hsDisentangle Haskeline from the internals Idris14 years ago ProofState.hsChanged approach to unification Instead of failing immediately, maintain a list of blocked problems and refine during elaboration.14 years ago ShellParser.hsFiddle with elaborator; update interp sample and test15 years ago TT.hsMerge branch 'master' into bitstring14 years ago Typecheck.hsMerge branch 'bitstring' of https://github.com/bitlisp/Idris-dev into bitlisp-bitstring14 years ago Unify.hsHNF in unification to speed things up14 years ago