../ CaseTree.hsMerge pull request #114 from raichoo/word14 years ago Constraints.hsMore platform agnostic now14 years ago CoreParser.hsMerge pull request #114 from raichoo/word14 years ago Elaborate.hsLimited type inference of types in where clauses Type signatures can now be omitted *only* if the type of the function can be determined completely from the first call.14 years ago Evaluate.hsMerge pull request #114 from raichoo/word14 years ago ProofShell.hsA small cleanup after missing some stray ends in the diff.15 years ago ProofState.hsFix argument names in generated types for where blocks14 years ago ShellParser.hsFiddle with elaborator; update interp sample and test15 years ago TT.hsword 8/16 primitive types14 years ago Typecheck.hsword 8/16 primitive types14 years ago Unify.hsBetter dealing with name shadowing while building instances ...and while type checking completed terms14 years ago