git.iko.soy/Idris-dev
on 000bfa0 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.hsImprove PE for class constraints and HOFs Execute.hsSupport uniqueness types when executing IO actions in REPL ProofState.hsPartial evaluator fixes 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.hsAnnotate several top-level functions