../ 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/Fixed reflection induction tactic13 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 MakefileMoved libraries around, removed 'effects' flag13 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