../ CaseTree.hsImprove case compilation by checking most distinct argument first14 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.hsSome tiny RTS optimisations14 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