Stdlib.Prelude
Contents
Description
This module reexports most of the standard library.
Definitions
open import Stdlib.Data.Bool public
open import Stdlib.Data.List public
open import Stdlib.Data.Maybe public
open import Stdlib.Data.Nat public
open import Stdlib.Data.Int hiding {+;*;div;mod} public
open import Stdlib.Data.Product public
open import Stdlib.Data.String public
open import Stdlib.Function public
open import Stdlib.System.IO public
open import Stdlib.Trait.Ord public
open import Stdlib.Trait.Eq public
open import Stdlib.Trait.Show public
