git.iko.soy/Idris-dev
on 51febe0 help sign in
Idris-dev/src/Idris/Core
13 files
../ Binary.hsCheck target of 'with' is a value (not a function) CaseTree.hsLifted FIXME and TODO from Core/CaseTree Constraints.hsLifted FIXME from Core/Constraints. DeepSeq.hsStore kind in Pi binders Elaborate.hsAvoid retrying unification problems constantly Evaluate.hsFix visibility of imported things Execute.hsRemoved dead code and lifedt TODO/FIXME from Core/Execute. ProofState.hsAvoid retrying unification problems constantly ProofTerm.hsAvoid retrying unification problems constantly TC.hsFuture-proof the TC' monad TT.hsAdd proper namespace to class instances Typecheck.hsLifted TODO/FIXME to the issue tracker for Core/Typecheck Unify.hsCheck for cycles in unification results