prelude.ipkg

package prelude

opts = "--nobuiltins --total"
modules = Builtins, Prelude, IO, 

          Prelude.Algebra, Prelude.Basics, Prelude.Bool, Prelude.Cast,
          Prelude.Classes, Prelude.Nat, Prelude.Fin, Prelude.List,
          Prelude.Maybe, Prelude.Monad, Prelude.Applicative, Prelude.Either,
          Prelude.Vect, Prelude.Strings, Prelude.Chars, Prelude.Functor,
          Prelude.Foldable, Prelude.Traversable, Prelude.Bits, Prelude.Stream,

          Decidable.Equality