Idris2Doc : Prelude

Prelude

Reexports

importpublic Builtin
importpublic PrimIO
importpublic Prelude.Basics as Prelude
importpublic Prelude.Cast as Prelude
importpublic Prelude.EqOrd as Prelude
importpublic Prelude.Interfaces as Prelude
importpublic Prelude.Interpolation as Prelude
importpublic Prelude.IO as Prelude
importpublic Prelude.Num as Prelude
importpublic Prelude.Ops as Prelude
importpublic Prelude.Show as Prelude
importpublic Prelude.Types as Prelude
importpublic Prelude.Uninhabited as Prelude