../ Core/Strictly evaluate data constructor args13 years ago IRTS/Integer <-> Float conversion in C codegen13 years ago Idris/Type class resolution fix (disables Decidable.Decidable) Instances should not be resolved when there is no information available. Previously, resolution just guessed at an instance in this case, though this was never intended behaviour!13 years ago Pkg/Some unification fixes13 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