../ Binary.hsUse default Binary implementation here, too9 years ago CaseTree.hsSmall tweak to inlining9 years ago Constraints.hsClean up unused imports (#4065)9 years ago DeepSeq.hsMove extensions into source files9 years ago Elaborate.hsUnused binds (#4067)9 years ago Evaluate.hsSmall tweak to inlining9 years ago Execute.hsUnused binds (#4067)9 years ago ProofState.hsUnused binds (#4067)9 years ago ProofTerm.hsUnused binds (#4067)9 years ago TT.hsUnused binds (#4067)9 years ago Typecheck.hsUnused binds (#4067)9 years ago Unify.hsUnused binds (#4067)9 years ago WHNF.hsClean up unused imports (#4065)9 years ago