git.iko.soy/Idris-dev
on 64bd27e 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.hsStrictness annotations 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.hsSupport type errors in docstrings Typecheck.hsNo need to check LHS for unique usage Unify.hsAnnotate several top-level functions