../ CaseTree.hsCompile on GHC 7.014 years ago Constraints.hsMore platform agnostic now14 years ago CoreParser.hsModify documentation comment parsing14 years ago Elaborate.hsUndo unification changes... because it's broken...14 years ago Evaluate.hsRemoved the stack depth limit from Core.Evaluate.14 years ago ProofShell.hsmake TT aware of Set -> Type14 years ago ProofState.hsMake unification faster by computing HNF rather than normalising14 years ago ShellParser.hsFiddle with elaborator; update interp sample and test15 years ago TT.hsMake sure names are not defined more than once Fixes issue #12414 years ago Typecheck.hsSmall conversion change14 years ago Unify.hsUndo unification changes... because it's broken...14 years ago