../ Control/Remove needless Prelude imports13 years ago Data/Replace some Heap proofs with impossible.13 years ago Debug/Remove needless Prelude imports13 years ago Decidable/Move Decidable.Equality to Prelude13 years ago Language/Remove needless Prelude imports13 years ago Network/Use toNat to avoid %assert_total when negative Int is treated the same as 0.13 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 --nobasepkgs flag13 years ago