../ 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.hsMerge branch 'master' of https://github.com/idris-lang/Idris-dev into feature/casetactic12 years ago Evaluate.hsAnnotate displayed IDE metavars with original terms12 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.hsMaintain pretty-printer bound vars12 years ago Typecheck.hsConversion checking tweak13 years ago Unify.hsNew matching rule for solving simple functions12 years ago