git.iko.soy/Idris-dev
on 2fcd41c 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.hsProper error for missing eliminator ProofTerm.hsAnnotate several top-level functions TC.hsFuture-proof the TC' monad TT.hsUse Set for unique name checking for efficiency Typecheck.hsNo need to check LHS for unique usage Unify.hsUnification fix for chains of solutions