git.iko.soy/Idris-dev
on c629b60 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.hsAnnotate several top-level functions Evaluate.hsUse exact name lookup when building from ibc Execute.hsSupport uniqueness types when executing IO actions in REPL ProofState.hsAnnotate several top-level functions 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