../ CaseTree.hsword 8/16 primitive types14 years ago Constraints.hsFix cyclic universe checking bug14 years ago CoreParser.hsword 8/16 primitive types14 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.hsword 8/16 primitive types14 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