../ 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.hsRevert "Merge pull request #294 from bitlisp/unified-int-primitives"13 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