../ CaseTree.hsFix bug in compilation of optimised Nats13 years ago Constraints.hsAdded column name to source13 years ago CoreParser.hsRemoved keyword from CoreParser too13 years ago Elaborate.hsAdd a final unification step13 years ago Evaluate.hsAdded column name to source13 years ago Execute.hsWrap Idris in an ErrorT13 years ago ProofShell.hsRemove the unused arg from lookup functions14 years ago ProofState.hsAdd a final unification step13 years ago ShellParser.hsFiddle with elaborator; update interp sample and test15 years ago TT.hsFixed flaw with FC dependency by making FC equality always return true. If any fc equality is needed just use FC' fc to convert. Fixes idris-lang/Idris-dev#55013 years ago Typecheck.hsSimplify evaluator It tries to support too much, but since it's part of the kernel it should do as little clever stuff as possible. Now just normalises, simplifies or specialises, the latter two simply meaning that certain names are blocked from being redu…13 years ago Unify.hsUnification tweak for unifying types and metavariable applications13 years ago