on fbeeb45 help sign in
8 folders, 8 files
../ Control/rename fmap to map Data/Make coverage checker look inside pairs/dependent pairs Fixes #446 Debug/Add Debug.Trace Decidable/rename fO into fZ Language/change traverse on Binder to a Traversable instance Network/rename fmap to map Prelude/Readd toList as working on any Foldable System/rename fmap to map Builtins.idrSimplify evaluator It tries to support too much, but since it's part of the kernel it should do as little clever stuff as possible. Now just normalises, simplifies or specialises, the latter two simply meaning that certain names are blocked from being redu… IO.idrFTy convenience names for fixed-width ints MakefileRemove dynamically loaded RTS due to 32/64-bit issues on OS X Prelude.idrRemove nongeneric sum and product functions Providers.idrClean up implementation of type providers System.idrFriendly smart constructors for foreign integer types Uninhabited.idrrename fO into fZ base.ipkgAdd traverse_ and sequence_ based on Foldable