git.iko.soy/Idris-dev
on bbefa33 help sign in
Idris-dev/src/Idris/Core
13 files
../ Binary.hsUse default Binary implementation here, too CaseTree.hsLinearTypes extension improvements Constraints.hsClean up unused imports (#4065) DeepSeq.hsMove extensions into source files Elaborate.hsLinearTypes extension improvements Evaluate.hsLinearTypes extension improvements Execute.hsLinearTypes extension improvements ProofState.hsFixed unused imports reported by ghc ProofTerm.hsLinearTypes extension improvements TT.hsRemove unused Core.TT.vinstances Typecheck.hsLinearTypes extension improvements Unify.hsLinearTypes extension improvements WHNF.hsLinearTypes extension improvements