../ Core/Take care to avoid duplicating redexes when reducing lambdas Binders in values are annotated with a 'reducible' flag, which is set to False if simplifying and the argument appears more than once.13 years ago IRTS/Take care with 'let' in specialiser - avoid duplicating a redex Let now only reduces if the binding appears at most once in scope during specialisation13 years ago Idris/Take care with 'let' in specialiser - avoid duplicating a redex Let now only reduces if the binding appears at most once in scope during specialisation13 years ago Pkg/squash potential space leaks by using strict foldl14 years ago RTS/Adding support for Windows MingW3214 years ago Util/Add the RTLD_GLOBAL option to dlopen13 years ago Main.hsdocument ideslave option13 years ago