git.iko.soy/Idris-dev
on 1f8db23 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.hsFix LaTeX pretty printing of backslash, braces and percent Typecheck.hsLinearTypes extension improvements Unify.hsLinearTypes extension improvements WHNF.hsLinearTypes extension improvements