git.iko.soy/Idris-dev
on d417e41 help sign in
Idris-dev/src/Idris/Core
13 files
../ Binary.hsBinary instance for Err + binary fixes CaseTree.hsLifted FIXME and TODO from Core/CaseTree Constraints.hsFaster universe checking DeepSeq.hsStore kind in Pi binders Elaborate.hsFix for pattern vars in transforms Evaluate.hsRestrict PE for class dictionaries Execute.hsSupport uniqueness types when executing IO actions in REPL ProofState.hsLifted a FIXME from Core/ProofState ProofTerm.hsAnnotate several top-level functions TC.hsFuture-proof the TC' monad TT.hsUse Set for unique name checking for efficiency Typecheck.hsLifted TODO/FIXME to the issue tracker for Core/Typecheck Unify.hsUnification fix for chains of solutions