git.iko.soy/Idris-dev
on e086ccf help sign in
Idris-dev/src/Idris/Core
12 files
../ Binary.hsCheck target of 'with' is a value (not a function) CaseTree.hsDisallow explicit types on LHS Constraints.hsCompletely replace ErrorT with ExceptT DeepSeq.hsStore kind in Pi binders Elaborate.hsUse ExceptT instead of ErrorT Evaluate.hsUse ExceptT instead of ErrorT Execute.hsImport ExceptT type and constructor ProofState.hsDisallow explicit types on LHS ProofTerm.hsAvoid retrying unification problems constantly TT.hsDisallow explicit types on LHS Typecheck.hsLifted TODO/FIXME to the issue tracker for Core/Typecheck Unify.hsCheck for cycles in unification results