git.iko.soy/Idris-dev
on 7afa310 help sign in
Idris-dev/src/Idris/Core
13 files
../ Binary.hsStore kind in Pi binders CaseTree.hsMake sure Borrowed constructors aren't updated Constraints.hsStrictness annotations DeepSeq.hsStore kind in Pi binders Elaborate.hsFix for pattern vars in transforms Evaluate.hsPartial evaluator fixes 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.hsAdd annotations for :search result classification Typecheck.hsNo need to check LHS for unique usage Unify.hsAnnotate several top-level functions