../ Binary.hsRemove no longer used primitives from TT12 years ago CaseTree.hsRemove Buffer/BitVectors from compiler/C rts12 years ago Constraints.hsCache constraint set in solver state12 years ago DeepSeq.hsRemove no longer used primitives from TT12 years ago Elaborate.hsType class resolution fix12 years ago Evaluate.hsEta in conversion, consistent with unification12 years ago Execute.hsSupport externally defined primitives12 years ago ProofState.hsAdd 'determining parameters' for classes12 years ago ProofTerm.hsPropagate unification solutions into types on 'P'12 years ago TT.hsRemove no longer used primitives from TT12 years ago Typecheck.hsRemove Buffer/BitVectors from compiler/C rts12 years ago Unify.hsAnnotate functions as %hint for auto search12 years ago