../ CaseTree.hsAdded case analysis on types, but only when enabled with --typecase (since it breaks parametricity)15 years ago CoreParser.hsFix small elaboration bug15 years ago Elaborate.hsAdded rewrite tactic15 years ago Evaluate.hsSome progress towards specialisation15 years ago ProofShell.hsAdded refine, focus, undo15 years ago ProofState.hsAdded rewrite tactic15 years ago ShellParser.hsFix bug in applying syntax rules15 years ago TT.hsAdded [static] annotations (which do nothing yet) and state to evaluator15 years ago Typecheck.hsAdded case analysis on types, but only when enabled with --typecase (since it breaks parametricity)15 years ago Unify.hsFix small elaboration bug15 years ago