../ Control/Add Uninhabited to Prelude13 years ago Data/Refactor parsing of bracketed expressions13 years ago Debug/Remove needless Prelude imports13 years ago Decidable/Renamed VectFun to FunN, added a few explanatory comments.13 years ago Language/Change 'run' in neweffects to add defaults13 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.idrAdded Functor, Applicative, and Monad Provider instances13 years ago System.idrMoved libraries around, removed 'effects' flag13 years ago base.ipkgAdd Uninhabited to Prelude13 years ago