--- This module reexports most of the standard library. module Stdlib.Prelude; 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;Last modified on 2023-04-19 22:00 UTC