../ CaseTree.hsUse Data.Text for variable names13 years ago Constraints.hsStrictness annotations13 years ago DeepSeq.hsMinor memory usage improvements13 years ago Elaborate.hsA simpler approach to handling name shadowing13 years ago Evaluate.hsMerge branch 'text-names'13 years ago Execute.hsFix logic in Executor13 years ago ProofState.hsMerge branch 'text-names'13 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