../ CaseTree.hsAdded prelude.strings, made believe_me primitive15 years ago Constraints.hsGenerate bytecode so that files don't need to be rechecked every time they're loaded15 years ago CoreParser.hsAdded 'public', 'abstract' and 'private' modifiers 'public' means export everything (name and definition) 'abstract' means export just the name 'private' means export nothing for data types and classes, 'abstract' means export the type/class name but not t…15 years ago Elaborate.hsFiddle with elaborator; update interp sample and test15 years ago Evaluate.hsAdded 'public', 'abstract' and 'private' modifiers 'public' means export everything (name and definition) 'abstract' means export just the name 'private' means export nothing for data types and classes, 'abstract' means export the type/class name but not t…15 years ago ProofShell.hsChanged lookup to return a list (preparation for namespaces)15 years ago ProofState.hsFiddle with elaborator; update interp sample and test15 years ago ShellParser.hsFiddle with elaborator; update interp sample and test15 years ago TT.hsAdded %hide and %freeze directives15 years ago Typecheck.hsAdded prelude.strings, made believe_me primitive15 years ago Unify.hsFix small elaboration bug15 years ago