../ Binary.hsProof search should only use user visible names11 years ago CaseTree.hsPropagate errors originating from case trees11 years ago Constraints.hsRicher universe error objects12 years ago DeepSeq.hsProof search should only use user visible names11 years ago Elaborate.hsTweak to hole lifting11 years ago Evaluate.hsFinish WHNF for operators11 years ago Execute.hsProof search should only use user visible names11 years ago ProofState.hsProof search should only use user visible names11 years ago ProofTerm.hsMark 'complete' terms to save time in elaboration12 years ago TT.hsProof search should only use user visible names11 years ago Typecheck.hsProof search should only use user visible names11 years ago Unify.hsImprove disambiguation a bit more11 years ago WHNF.hsFinish WHNF for operators11 years ago