../ 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.hsDon't allow unification problems to be introduced in :p mode14 years ago Evaluate.hsMerge branch 'master' into providers14 years ago Execute.hsFix Core.Execute to use IRTS.Lang.FType13 years ago ProofShell.hsRemove the unused arg from lookup functions14 years ago ProofState.hsMake 'count' partial/abstract to prevent compile-time reduction Deals with issue #17114 years ago ShellParser.hsFiddle with elaborator; update interp sample and test15 years ago TT.hsMerge branch 'master' into providers14 years ago Typecheck.hsRemove the unused arg from lookup functions14 years ago Unify.hsUnification fix14 years ago