../ Control/Whitespace cleanup.13 years ago Data/Whitespace cleanup.13 years ago Debug/Whitespace cleanup.13 years ago Decidable/Whitespace cleanup.13 years ago Language/Whitespace cleanup.13 years ago Network/Whitespace cleanup.13 years ago Prelude/Change Prelude.Strings.pack to apply to Foldable13 years ago System/Whitespace cleanup.13 years ago Builtins.idrAdded documentation for builtins. Rewrite tactics not documented.13 years ago IO.idrWhitespace cleanup.13 years ago MakefileRefactored the build inside Setup.hs and the various Makefiles.13 years ago Prelude.idrWhitespace cleanup.13 years ago Providers.idrClean up implementation of type providers13 years ago System.idrWhitespace cleanup.13 years ago Uninhabited.idrNew module chaser, for better dependency checking and rebuilding Now treats each source file separately, building a tree of dependencies, and rebuilding if any dependencies have updated. In particular, this fixes a problem with stale definitions hanging ar…13 years ago base.ipkgAdd RWST.13 years ago