../ 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/Add forgotten module13 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.idrWork around the brokenness of Nat.div wrt 013 years ago Providers.idrClean up implementation of type providers13 years ago System.idrStore arguments in a global rather than the VM struct so as to reduce dependence of lib on RTS impl details13 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.ipkgTotal version of the [a..b] and [a,b..c] syntax.13 years ago