git.iko.soy/Idris-dev
on 407cf60 help sign in
Idris-dev/src/Idris/Core
11 files
../ CaseTree.hsRemove | annotation, make Force/Delay implicit Constraints.hsStrictness annotations DeepSeq.hsMinor memory usage improvements Elaborate.hsRemove | annotation, make Force/Delay implicit Evaluate.hsAdd 'Lazy' type for capturing delayed computations Execute.hsBetter emulation of C in executor wrt file handles ProofState.hsUse the pprint library to insert line breaks TC.hsStrictness annotations TT.hsAdd C codegen implementation of buffer primitives Typecheck.hsUse Data.Text for variable names Unify.hsRemove | annotation, make Force/Delay implicit