../ CaseTree.hsDeal with 'Delay' in case building properly12 years ago Constraints.hsStrictness annotations13 years ago DeepSeq.hsAdd a special name for instance constructors.13 years ago Elaborate.hsMerge branch 'master' of https://github.com/idris-lang/Idris-dev into feature/casetactic12 years ago Evaluate.hsMerge remote-tracking branch 'upstream/master' into cantResolveAlts12 years ago Execute.hsMake executor emulate putchar13 years ago ProofState.hsMerge branch 'master' of https://github.com/idris-lang/Idris-dev into feature/casetactic12 years ago TC.hsFuture-proof the TC' monad12 years ago TT.hsAdd semantic highlighting for postulates12 years ago Typecheck.hsConversion checking tweak13 years ago Unify.hsNew matching rule for solving simple functions12 years ago