../ CaseTree.hsCompile on GHC 7.014 years ago Constraints.hsMore platform agnostic now14 years ago CoreParser.hsModify documentation comment parsing14 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.hsRemoved the stack depth limit from Core.Evaluate.14 years ago ProofShell.hsmake TT aware of Set -> Type14 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.hsChanged approach to unification Instead of failing immediately, maintain a list of blocked problems and refine during elaboration.14 years ago Typecheck.hsAdd a reducing version of believe_me (be careful!)14 years ago Unify.hsAdd a reducing version of believe_me (be careful!)14 years ago