../ CaseTree.hsBasically working executor/interpreter14 years ago Constraints.hsDocumentation comment additions14 years ago CoreParser.hssquash potential space leaks by using strict foldl14 years ago Elaborate.hsCheck that explicitly given implicit args unify with inferred versions Also exposed a unification bug which unified things which shouldn't be: f x = f y does not imply x = y unless f is injective, and this was not properly checked.13 years ago Evaluate.hsCheck that explicitly given implicit args unify with inferred versions Also exposed a unification bug which unified things which shouldn't be: f x = f y does not imply x = y unless f is injective, and this was not properly checked.13 years ago Execute.hsFix detection of FInt types in executor13 years ago ProofShell.hsRemove the unused arg from lookup functions14 years ago ProofState.hsCheck that explicitly given implicit args unify with inferred versions Also exposed a unification bug which unified things which shouldn't be: f x = f y does not imply x = y unless f is injective, and this was not properly checked.13 years ago ShellParser.hsFiddle with elaborator; update interp sample and test15 years ago TT.hsMerge branch 'master' into providers14 years ago Typecheck.hsCheck that explicitly given implicit args unify with inferred versions Also exposed a unification bug which unified things which shouldn't be: f x = f y does not imply x = y unless f is injective, and this was not properly checked.13 years ago Unify.hsCheck that explicitly given implicit args unify with inferred versions Also exposed a unification bug which unified things which shouldn't be: f x = f y does not imply x = y unless f is injective, and this was not properly checked.13 years ago