../ Control/Remove needless Prelude imports13 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/Moved libraries around, removed 'effects' flag13 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.idrRemove needless Prelude imports13 years ago base.ipkgAdd syntax for Agda-style reasoning over preorders13 years ago