git.iko.soy/Idris-dev
on e0861bb help sign in
Idris-dev/src/Idris/Core
12 files
../ Binary.hsAllow documentation for modules CaseTree.hsMore information runtime error for missing case Constraints.hsCompletely replace ErrorT with ExceptT DeepSeq.hsRemove -Werror from all files Elaborate.hsNew way of dealing with unmatchable patterns Evaluate.hsDo more forcing in IBC Execute.hsImport ExceptT type and constructor ProofState.hsNew way of dealing with unmatchable patterns ProofTerm.hsAvoid retrying unification problems constantly TT.hsDo more forcing in IBC Typecheck.hsLifted TODO/FIXME to the issue tracker for Core/Typecheck Unify.hsAllow building with base-4.8.0.0