../ CaseTree.hsType constructor arguments are unused at run-time13 years ago Constraints.hsStrictness annotations13 years ago DeepSeq.hsMinor memory usage improvements13 years ago Elaborate.hsFix typo that led to unification bug13 years ago Evaluate.hsMerge branch 'text-names'13 years ago Execute.hsFix logic in Executor13 years ago ProofState.hsFix typo that led to unification bug13 years ago TC.hsStrictness annotations13 years ago TT.hsFix bug in 'forget' for well-typed terms13 years ago Typecheck.hsUse Data.Text for variable names13 years ago Unify.hsMerge branch 'text-names'13 years ago