../ CaseTree.hsSome progress on implementation paper revisions14 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.hsHNF in unification to speed things up14 years ago ProofShell.hsReorder the monad transformers in the Idris monad to allow completion14 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.hsHNF in unification to speed things up14 years ago