git.iko.soy/Idris-dev
on b6f8bdf 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.hsMegaparsec prep (#4164) Typecheck.hsLinearTypes extension improvements Unify.hsLinearTypes extension improvements WHNF.hsLinearTypes extension improvements