../ Binary.hsBinary instance for Err + binary fixes12 years ago CaseTree.hsLifted FIXME and TODO from Core/CaseTree12 years ago Constraints.hsFaster universe checking12 years ago DeepSeq.hsStore kind in Pi binders12 years ago Elaborate.hsFix for pattern vars in transforms12 years ago Evaluate.hsRestrict PE for class dictionaries12 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.hsUse Set for unique name checking for efficiency12 years ago Typecheck.hsLifted TODO/FIXME to the issue tracker for Core/Typecheck12 years ago Unify.hsUnification fix for chains of solutions12 years ago