../ Binary.hsSend serialized versions of TT terms in pprint12 years ago 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.hsElaborate quasiquote patterns to something useful12 years ago Evaluate.hsAnnotate displayed IDE metavars with original terms12 years ago Execute.hsMake executor emulate putchar12 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.hsMaintain pretty-printer bound vars12 years ago Typecheck.hsConversion checking tweak13 years ago Unify.hsNew matching rule for solving simple functions12 years ago