../ Binary.hsBinary instance for Err + binary fixes12 years ago CaseTree.hsLifted FIXME and TODO from Core/CaseTree12 years ago Constraints.hsLifted FIXME from Core/Constraints.12 years ago DeepSeq.hsStore kind in Pi binders12 years ago Elaborate.hsImprovement for 'auto'12 years ago Evaluate.hsLifted FIXME from Core/Evaluate.12 years ago Execute.hsRemoved dead code and lifedt TODO/FIXME from Core/Execute.12 years ago ProofState.hsImprovement for 'auto'12 years ago ProofTerm.hsImprovement for 'auto'12 years ago TC.hsFuture-proof the TC' monad12 years ago TT.hsImprovement for 'auto'12 years ago Typecheck.hsLifted TODO/FIXME to the issue tracker for Core/Typecheck12 years ago Unify.hsLifted TODO/FIXME in Core/Unify12 years ago