../ Control/Add some docstrings13 years ago Data/More docstrings13 years ago Debug/Add documentation in new format for various libs13 years ago Decidable/Congruence over a single function instead of all functions13 years ago Language/Merge remote-tracking branch 'upstream/master' into error-reflection13 years ago Network/Added Network.Sockets13 years ago Syntax/Add syntax for Agda-style reasoning over preorders13 years ago System/Remove | annotation, make Force/Delay implicit13 years ago MakefileFix .PHONY targets in Makefiles13 years ago Providers.idrAdd documentation in new format for various libs13 years ago System.idrAdd documentation in new format for various libs13 years ago base.ipkgAdd Uninhabited to Prelude13 years ago