git.iko.soy/Idris-dev
on 127db00 help sign in
Idris-dev/src/Idris/Core
13 files
../ Binary.hsBinary instance for Err + binary fixes CaseTree.hsMake sure Borrowed constructors aren't updated 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