../ CaseTree.hsAdded case analysis on types, but only when enabled with --typecase (since it breaks parametricity)15 years ago CoreParser.hsAdded proof script traces for pasting into program15 years ago Elaborate.hsBeginning theorem prover interface15 years ago Evaluate.hsSome progress towards specialisation15 years ago ProofShell.hsElaborating types and data declarations15 years ago ProofState.hsBeginning theorem prover interface15 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.hsAdded case analysis on types, but only when enabled with --typecase (since it breaks parametricity)15 years ago