git.iko.soy/Idris-dev
on aef8dc1 help sign in
Idris-dev/src/Idris/Core
12 files
../ Binary.hsSupport scoped type class constraints CaseTree.hsAdd scoped implicit argument to Pi Constraints.hsCompletely replace ErrorT with ExceptT DeepSeq.hsSupport scoped type class constraints Elaborate.hsSupport scoped type class constraints Evaluate.hsAdd scoped implicit argument to Pi Execute.hsAdd emulation of getchar to executor ProofState.hsProper error when merging solutions fails ProofTerm.hsAvoid retrying unification problems constantly TT.hsderive Data and Typeable for ImplicitInfo Typecheck.hsSupport scoped type class constraints Unify.hsSome tidying of scoped implicits