../ CaseTree.hsAdded case analysis on types, but only when enabled with --typecase (since it breaks parametricity)15 years ago CoreParser.hsAdded = and refl15 years ago Elaborate.hslet bindings; fixed bug with simple lambda app15 years ago Evaluate.hsAdded case analysis on types, but only when enabled with --typecase (since it breaks parametricity)15 years ago ProofShell.hsElaborating types and data declarations15 years ago ProofState.hslet bindings; fixed bug with simple lambda app15 years ago ShellParser.hsFix bug in applying syntax rules15 years ago TT.hsAdded case analysis on types, but only when enabled with --typecase (since it breaks parametricity)15 years ago Typecheck.hsAdded case analysis on types, but only when enabled with --typecase (since it breaks parametricity)15 years ago Unify.hsAdded case analysis on types, but only when enabled with --typecase (since it breaks parametricity)15 years ago