../ Binary.hsProper error message for missing eliminators12 years ago CaseTree.hsAdd scoped implicit argument to Pi12 years ago Constraints.hsUse Set to remove duplicate constraints12 years ago DeepSeq.hsProper error message for missing eliminators12 years ago Elaborate.hsType class resolution fix12 years ago Evaluate.hsIgnore accessibility when rechecking12 years ago Execute.hsIO primitives tweak to support JS12 years ago ProofState.hsAdd 'determining parameters' for classes12 years ago ProofTerm.hsPropagate unification solutions into types on 'P'12 years ago TT.hsMerge remote-tracking branch 'refs/remotes/upstream/master' into wip/tactical12 years ago Typecheck.hsIgnore accessibility when rechecking12 years ago Unify.hsPropagate unification solutions into types on 'P'12 years ago