../ 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.hsFix for pattern vars in transforms12 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.hsLifted a FIXME from Core/ProofState12 years ago ProofTerm.hsAnnotate several top-level functions12 years ago TC.hsFuture-proof the TC' monad12 years ago TT.hsLifted TODO from Core/Tt.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