git.iko.soy/Idris-dev
on ce2d69d help sign in
Idris-dev/libs/base
7 folders, 5 files
../ Control/Remove needless Prelude imports Data/Don't reset totality for non-total things Debug/Remove needless Prelude imports Decidable/Move Decidable.Equality to Prelude Language/Check the type of elaborated error handlers Network/Use toNat to avoid %assert_total when negative Int is treated the same as 0. System/Moved libraries around, removed 'effects' flag MakefileMoved libraries around, removed 'effects' flag Providers.idrMoved libraries around, removed 'effects' flag System.idrMoved libraries around, removed 'effects' flag Uninhabited.idrRemove needless Prelude imports base.ipkgAdd --nobasepkgs flag