../ Control/Make spacing consistent13 years ago Data/Don't reset totality for non-total things13 years ago Debug/Remove needless Prelude imports13 years ago Decidable/Move Decidable.Equality to Prelude13 years ago Language/Add Show instances for SourceLocation and Err13 years ago Network/Use toNat to avoid %assert_total when negative Int is treated the same as 0.13 years ago Syntax/Add syntax for Agda-style reasoning over preorders13 years ago System/Fix typo in Concurrency.Raw13 years ago MakefileFix .PHONY targets in Makefiles13 years ago Providers.idrMoved libraries around, removed 'effects' flag13 years ago System.idrMoved libraries around, removed 'effects' flag13 years ago Uninhabited.idrAdd a function for dealing with absurdity13 years ago base.ipkgList modules in dependency order13 years ago