Namespaces

• [builtins]
• Control.Comonad
• Control.Monad.Free
• Control.Monad.Identity
• Data.Functor.Foldable.Exotic
• Data.Functor.Foldable.Instances
• Data.Functor.Foldable.Mod
• Data.Profunctor.Comonad.Cofree
• Decidable.Equality
• FFI
• FFI_C
• ForeignEnv
• Language.Reflection
• Language.Reflection.Elab
• Language.Reflection.Errors
• Prelude.Algebra
• Prelude.Basics
• Prelude.Bool
• Prelude.Either
• Prelude.File
• Prelude.Foldable
• Prelude.Functor
• Prelude.Interfaces
• Prelude.List
• Prelude.Maybe
• Prelude.Monad
• Prelude.Nat
• Prelude.Show
• Prelude.Stream