../ 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 case and pattern matching let bindings Also pattern matching bind in do notation case notation currently has limitations: - only works on simple types (each pattern must have the same type, more specifically) - return type needs to be known a…15 years ago Elaborate.hsAdded case and pattern matching let bindings Also pattern matching bind in do notation case notation currently has limitations: - only works on simple types (each pattern must have the same type, more specifically) - return type needs to be known a…15 years ago Evaluate.hsFix pattern name bug where name is already a CAF15 years ago ProofShell.hsAdded case and pattern matching let bindings Also pattern matching bind in do notation case notation currently has limitations: - only works on simple types (each pattern must have the same type, more specifically) - return type needs to be known a…15 years ago ProofState.hsPostpone injectivity check until after unification15 years ago ShellParser.hsFiddle with elaborator; update interp sample and test15 years ago TT.hsAdded case and pattern matching let bindings Also pattern matching bind in do notation case notation currently has limitations: - only works on simple types (each pattern must have the same type, more specifically) - return type needs to be known a…15 years ago Typecheck.hsAdded idiom brackets15 years ago Unify.hsPostpone injectivity check until after unification15 years ago